Skip to content

Conversation

@driazati
Copy link
Member

@driazati driazati commented Mar 4, 2022

This was broken by #10456 since that did not have a case for ignoring the main and staging branches. This adds it at the Jenkins level so the further scripts won't even be run if not necessary. This is marked skip ci but since the changes all happen before lint this is being tested.

Breakage: https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/2674/pipeline (nothing ran, docs failed when it tried to load built files)

@driazati driazati marked this pull request as ready for review March 4, 2022 19:24
@driazati driazati requested a review from a team as a code owner March 4, 2022 19:24
@driazati driazati changed the title [skip ci][ci] hotfix Jenkinsfile [skip ci][ci] hotfix Jenkinsfile to never skip CI on main Mar 4, 2022
This was broken by #10456 since that did not have a case for ignoring the `main` and staging branches. This adds it at the Jenkins level so the further scripts won't even be run if not necessary. This is marked `skip ci` but since the changes all happen before lint this is being tested.

commit-id:1655b8da
@areusch areusch merged commit 3f96f3d into apache:main Mar 4, 2022
ziqiangxu8457 pushed a commit to ziqiangxu8457/tvm that referenced this pull request Mar 6, 2022
This was broken by apache#10456 since that did not have a case for ignoring the `main` and staging branches. This adds it at the Jenkins level so the further scripts won't even be run if not necessary. This is marked `skip ci` but since the changes all happen before lint this is being tested.

commit-id:1655b8da

Co-authored-by: driazati <driazati@users.noreply.github.com>
pfk-beta pushed a commit to pfk-beta/tvm that referenced this pull request Apr 11, 2022
This was broken by apache#10456 since that did not have a case for ignoring the `main` and staging branches. This adds it at the Jenkins level so the further scripts won't even be run if not necessary. This is marked `skip ci` but since the changes all happen before lint this is being tested.

commit-id:1655b8da

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.

2 participants