[release] Bump version numbers to v0.12.0

[ysh329]

This bumps all the version numbers on v0.12.0 branch as correct v0.12.0.

cc @driazati @Johnson9009 @junrushao

[tvm-bot]

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 by @-ing them in a comment.

• No users to tag found in teams: release _{See #10317 for details}

_{Generated by tvm-bot}

[ysh329]

So strange, log shows conflict as below:

[leandron]

So strange, log shows conflict as below:

I think this has to do with the fact that CI will try to git merge your current patch with "top of the repository", and as the top of the repository is now fixed to 0.13.dev0, it diverges from what you propose here.

So I don't think that there is anything wrong with your patch, we probably just need to fix CI somewhere. @driazati can you help?

[driazati]

Yeah this is a CI problem, I think we should just disable that behavior for releases, I filed a PR to do it: #14715. Once that is merged into v0.12.0, we can rebase this PR and it should use the updated CI configs

[ysh329]

@tvm-bot rerun

[ysh329]

I rebase failed and re-PR with #14739 .