[CI Problem] failed docs push to https://github.com/apache/tvm-site.git

[cconvey]

Branch/PR Failing

5cef6bf
13ebbfb

Jenkins Link

https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/4129/pipeline/
https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/4144/pipeline/

Flakiness

Multiple commits (see above)

[driazati]

This usually happens since there is a merge race to update the docs between two commits. The best way to fix would be to check the hash in this file and:

• if it's newer: give up since the docs have already been built and pushed including this commit
• if it's older: force push the new changes

[cconvey]

Another occurrence: https://ci.tlcpack.ai/blue/organizations/jenkins/tvm/detail/main/4167/pipeline