-
Notifications
You must be signed in to change notification settings - Fork 3.7k
Closed
Description
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 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
denise-k, comaniac and mikepapadim
Metadata
Metadata
Assignees
Labels
No labels