Disable git merge to avoid conflict on v0.13.0 You can view, comment on, or merge this pull request online at:
https://github.com/apache/tvm/pull/15267 -- Commit Summary -- * [release] Disable git merge to avoid conflict -- File Changes -- M ci/jenkins/generated/arm_jenkinsfile.groovy (5) M ci/jenkins/generated/cortexm_jenkinsfile.groovy (5) M ci/jenkins/generated/cpu_jenkinsfile.groovy (5) M ci/jenkins/generated/docker_jenkinsfile.groovy (5) M ci/jenkins/generated/gpu_jenkinsfile.groovy (5) M ci/jenkins/generated/hexagon_jenkinsfile.groovy (5) M ci/jenkins/generated/i386_jenkinsfile.groovy (5) M ci/jenkins/generated/lint_jenkinsfile.groovy (5) M ci/jenkins/generated/minimal_cross_isa_jenkinsfile.groovy (5) M ci/jenkins/generated/minimal_jenkinsfile.groovy (5) M ci/jenkins/generated/riscv_jenkinsfile.groovy (5) M ci/jenkins/generated/wasm_jenkinsfile.groovy (5) -- Patch Links -- https://github.com/apache/tvm/pull/15267.patch https://github.com/apache/tvm/pull/15267.diff -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/pull/15267 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/pull/15...@github.com>
