mikepapadim opened a new pull request #9031: URL: https://github.com/apache/tvm/pull/9031
This is an updated version for #8992 and fixes #8673. With this PR when changes affect files in `docs/` then only the following stages will run: * Sanity Check * BUILD: GPU * docs: GPU This fix suppose to speed up the process on augmenting the current documentation, @areusch @comaniac @jroesch -- 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-unsubscr...@tvm.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org