You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@tvm.apache.org by GitBox <gi...@apache.org> on 2022/08/25 20:22:49 UTC

[GitHub] [tvm] driazati commented on issue #12600: [CI Problem] failed docs push to https://github.com/apache/tvm-site.git

driazati commented on issue #12600:
URL: https://github.com/apache/tvm/issues/12600#issuecomment-1227722621

   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


-- 
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

To unsubscribe, e-mail: commits-unsubscribe@tvm.apache.org

For queries about this service, please contact Infrastructure at:
users@infra.apache.org