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/01/20 20:27:10 UTC

[GitHub] [tvm] driazati edited a comment on pull request #9998: [CI] hot fix Sphinx

driazati edited a comment on pull request #9998:
URL: https://github.com/apache/tvm/pull/9998#issuecomment-1017873231


   Thanks for the quick fix! I think here we hit a bug in CI where it wasn't running the sphinx pre-check on #9906 since it had only doc related changes. #9971 should fix this so it doesn't happen in the future


-- 
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