-
Notifications
You must be signed in to change notification settings - Fork 3.5k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[ci] Assert that Jenkinsfile changes also change the timestamp #12388
Labels
needs-triage
PRs or issues that need to be investigated by maintainers to find the right assignees to address it
type:ci
Relates to TVM CI infrastructure
Comments
driazati
added a commit
to driazati/tvm
that referenced
this issue
Aug 11, 2022
driazati
added a commit
to driazati/tvm
that referenced
this issue
Aug 11, 2022
driazati
added a commit
to driazati/tvm
that referenced
this issue
Aug 11, 2022
driazati
added a commit
to driazati/tvm
that referenced
this issue
Aug 11, 2022
driazati
added a commit
to driazati/tvm
that referenced
this issue
Aug 19, 2022
driazati
added a commit
to driazati/tvm
that referenced
this issue
Aug 25, 2022
areusch
added
the
needs-triage
PRs or issues that need to be investigated by maintainers to find the right assignees to address it
label
Oct 19, 2022
This isn't necessary in all cases anymore |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
needs-triage
PRs or issues that need to be investigated by maintainers to find the right assignees to address it
type:ci
Relates to TVM CI infrastructure
Concurrent Jenkinsfile changes that happen in a sequence like:
Can create a situation where both PRs pass CI but break
main
when merged with failures like https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/4024/pipeline.There is a timestamp in the
Jenkinsfile
that makes it so these PRs will have a merge conflict (in the example above PR 2 must be rebased and run through CI again before it can merge), we should check that any changes to the Jenkinsfile also change this timestamp (so if say PR 2 did not change the timestamp it wouldn't pass PR CI)cc @Mousius @areusch @gigiblender
The text was updated successfully, but these errors were encountered: