Hi all, this PR https://github.com/apache/tvm/pull/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 -- Reply to this email directly or view it on GitHub: https://github.com/apache/tvm/issues/15134#issuecomment-1622909698 You are receiving this because you are subscribed to this thread. Message ID: <apache/tvm/issues/15134/1622909...@github.com>
