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


Reply via email to