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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
