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