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 14:48:09 UTC

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

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


   There is a straightforward way to do it. We could add the `\doc` directory, as well as specific file extensions (i.e., txt, md etc) with regex in the exclude paths of the Jenkins configuration. 
   ![image](https://user-images.githubusercontent.com/8652854/132707653-21f9840a-ae24-4c5d-8d3d-6cd9850c3fec.png)
   
   This should be a first iteration until we go for something more complete to cover the cases where hardware is need.


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