[GitHub] [tvm] driazati opened a new pull request, #12773: [ci] Add retries to docker push

[GitBox <gi...@apache.org>]

driazati opened a new pull request, #12773:
URL: https://github.com/apache/tvm/pull/12773

   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.


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] areusch merged pull request #12773: [ci] Add retries to docker push

[GitBox <gi...@apache.org>]

areusch merged PR #12773:
URL: https://github.com/apache/tvm/pull/12773


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org

[GitHub] [tvm] github-actions[bot] commented on pull request #12773: [ci] Add retries to docker push

[GitBox <gi...@apache.org>]

github-actions[bot] commented on PR #12773:
URL: https://github.com/apache/tvm/pull/12773#issuecomment-1247334855

   <!---docs-bot-comment-->
   
   Built docs for commit 9cd59182d83361a872838a93b38e16c6d04cd19d can be found [here](https://pr-docs.tlcpack.ai/PR-12773/3/docs/index.html).


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org