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 2021/09/09 16:03:59 UTC

[GitHub] [tvm] areusch commented on issue #8673: [CI] skip non-docs phases when a PR only modifies `docs/`

areusch commented on issue #8673:
URL: https://github.com/apache/tvm/issues/8673#issuecomment-916233235


   the tricky thing is that we still do want to run some CI tasks--we just want to skip most of them. for example, you could checkin broken ReStructuredText--we should still fail the CI if you try to do this. So I think we do need to modify the Jenkinsfile.


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