This bumps all the **version numbers on v0.12.0 branch** as correct **v0.12.0**.
cc @driazati @Johnson9009 @junrushao
You can view, comment on, or merge this pull request online at:
https://github.com/apache/tvm/pull/14712
-- Commit Summary --
* [release] Bump version numbers to v0.12.0
-
Thanks for contributing to TVM! Please refer to the contributing guidelines
https://tvm.apache.org/docs/contribute/ for useful information and tips. Please
request code reviews from
[Reviewers](https://github.com/apache/incubator-tvm/blob/master/CONTRIBUTORS.md#reviewers)
by @-ing them in a c
So strange, log shows conflict as below:
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/tvm/pull/14712#issuecomment-1520308216
You are receiving this be
> So strange, log shows conflict as below:
> 
I think this has to do with the fact that CI will try to merge your current
patch with "top of the repository", and as the top of the reposit
> > @ysh329 After cherry-picked PRs, the version of TVM need to be updated to
> > "v0.12.0", like what we discussed at #14260, thanks.
>
> The version was updated, see below.
>
> > > I helped create the `v0.12.0` branch and will set the tag after the next
> > > commit merges. Could you please a
Yeah this is a CI problem, I think we should just disable that behavior for
releases, I filed a PR to do it: #14714. Once that is merged into v0.12.0, we
can rebase this PR and it should use the updated CI configs
--
Reply to this email directly or view it on GitHub:
https://github.com/apache/t
Hi all, The version number modification on branch v0.12.0 #14712 currently is
blocked by CI. **I worry may delay release voting opens.**
Because after this PR #14712 merged, we need:
1. Create tag `v0.12.0.rc0` on latest commit on branch v0.12.0 and [create
release page based on this
tag](http
