There may be a better solution: we make a PR with 2 commits (one is Modify version to v0.14.0 on main branch, the other is Modify version to v0.14.dev0 on main branch), and **merge without squash. And do branch cut on first commit.**
-- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/pull/15847#issuecomment-1752258223 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/pull/15847/c1752258...@github.com>
