Skip to content

[CI] skip non-docs phases when a PR only modifies docs/ #8673

@areusch

Description

@areusch

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

cc @leandron @denise-k

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions