> > Hi all, this PR #15216 `about modifying the version recorded to v0.13.0 on > > v0.13.0 branch` **is blocked by CI**, but this won't block our > > `cherry-picking soft deadline` and `cherry-picking hard deadline`. > > cc @driazati > > Can anybody help to see the CI issue? It seems these thing block the process > of release schedule several times.
Hi all, this Jenkins CI issue is about our Jenkins config for those [non-main branchs will merge with latest main when CI running](https://github.com/apache/tvm/blob/main/ci/jenkins/generated/arm_jenkinsfile.groovy#L148-L154), this has no relation with Github branch protection. Besides, this CI issue exposes our release step about version modification having some latent problem. -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/issues/15134#issuecomment-1627381687 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/issues/15134/1627381...@github.com>
