[ci] Don't merge before running CI on main
#12392
Labels
actionable
has an immediately do-able work plan and a detailed description
dev:ci
type:ci
Relates to TVM CI infrastructure
Here Jenkins fetches the latest
main
and merges code with it to make sure PRs are up to date before running everything:tvm/ci/jenkins/Prepare.groovy.j2
Lines 16 to 27 in de12486
This should have a guard so it doesn't happen on main (i.e. when
env.BRANCH_NAME
ismain
) and insteadupstream_revision
is just set toHEAD
. Right now the behavior is not correct, since if 2 builds come in in rapid succession, the first one would get merged with the later one and wouldn't be tested independently. This also messes up re-runs of old builds onmain
since they get merged with the currentmain
.cc @Mousius @areusch @gigiblender
The text was updated successfully, but these errors were encountered: