Skip to content

Conversation

@driazati
Copy link
Member

@driazati driazati commented Oct 19, 2022

These are never really signal-carrying so there's no need for it to show
up as red on CI jobs. This also adds retries to the git checkout step
within Jenkins to deal with GitHub instability. This should help avoid
confusing situations like in #13136

These are never really signal-carrying so there's no need for it to show
up as red on CI jobs. This also adds retries to the `git checkout` step
within Jenkins to deal with GitHub instability.
@tvm-bot
Copy link
Collaborator

tvm-bot commented Oct 19, 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 19, 2022 20:46
driazati added a commit that referenced this pull request Oct 19, 2022
@masahi masahi merged commit eb8f225 into apache:main Oct 21, 2022
janetsc pushed a commit to janetsc/tvm that referenced this pull request Oct 21, 2022
These are never really signal-carrying so there's no need for it to show
up as red on CI jobs. This also adds retries to the `git checkout` step
within Jenkins to deal with GitHub instability.

Co-authored-by: driazati <driazati@users.noreply.github.com>
xinetzone pushed a commit to daobook/tvm that referenced this pull request Nov 10, 2022
These are never really signal-carrying so there's no need for it to show
up as red on CI jobs. This also adds retries to the `git checkout` step
within Jenkins to deal with GitHub instability.

Co-authored-by: driazati <driazati@users.noreply.github.com>
xinetzone pushed a commit to daobook/tvm that referenced this pull request Nov 25, 2022
These are never really signal-carrying so there's no need for it to show
up as red on CI jobs. This also adds retries to the `git checkout` step
within Jenkins to deal with GitHub instability.

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