Skip to content

[ci][docs] Add external network resources to S3#12989

Merged
areusch merged 1 commit into
apache:mainfrom
driazati:more_hook
Oct 10, 2022
Merged

[ci][docs] Add external network resources to S3#12989
areusch merged 1 commit into
apache:mainfrom
driazati:more_hook

Conversation

@driazati
Copy link
Copy Markdown
Member

@driazati driazati commented Oct 5, 2022

This sends requests for any web resource that isn't in a TVM/DMLC
controlled location to a mirror in S3 to improve reliability (to avoid
failures like in
https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/PR-12973/3/pipeline/)

This sends requests for any web resource that isn't in a TVM/DMLC
controlled location to a mirror in S3 to improve reliability (to avoid
failures like in
https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/PR-12973/3/pipeline/)
@tvm-bot
Copy link
Copy Markdown
Collaborator

tvm-bot commented Oct 5, 2022

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

Generated by tvm-bot

@driazati driazati marked this pull request as ready for review October 5, 2022 18:03
@driazati driazati requested a review from areusch October 10, 2022 20:34
@areusch areusch merged commit 84c50ef into apache:main Oct 10, 2022
xinetzone pushed a commit to daobook/tvm that referenced this pull request Nov 25, 2022
This sends requests for any web resource that isn't in a TVM/DMLC
controlled location to a mirror in S3 to improve reliability (to avoid
failures like in
https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/PR-12973/3/pipeline/)

Co-authored-by: driazati <driazati@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants