Skip to content

Commit

Permalink
[ci] Add retries to docker push
Browse files Browse the repository at this point in the history 
This should mitigate failures like in
https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/4274/pipeline.
This also moves the `retry` function to a script now that we have
PR #12604.
  • Loading branch information
@driazati
driazati committed Sep 14, 2022
1 parent a408493 commit b7a6f14
Show file tree
Hide file tree
Showing 6 changed files with 146 additions and 1,366 deletions.
Loading

0 comments on commit b7a6f14

Please sign in to comment.