areusch opened a new issue #8673: URL: https://github.com/apache/tvm/issues/8673
Right now it's really difficult to write docs because you're subjected to the standard 5-10 hour CI flow. This is completely unnecessary when just changing the docs site--we only need to do a GPU-aware build of TVM, then run the [docs](https://github.com/apache/tvm/blob/338940dc5044885412f9a6045cb8dcdf9fb639a4/Jenkinsfile#L345) stage. docs depends on tutorials, which are executed against the GPU node. my thinking is: - probably still run Sanity Check phase since there are some docs lint steps done there - in that phase, use the TVM checkout to decide whether the PR makes changes outside `docs` (e.g. `git diff --name-only HEAD...origin/main` or something like it (think Jenkins will have merged the PR into local main at this point)). Set a Jenkinsfile var based on this - do the GPU build - run the docs build @mikepapadim will take a look at this cc @leandron @denise-k -- 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]
