Repository navigation
Edit workflow rules and make parts of CI skippable - #63
Merged
Merged
Conversation
Tests and the new docs build can each be skipped on a PR, either with a
label ("skip tests" / "skip docs") or with a flag in the head commit
subject ([skip tests] / [skip docs]). Notebook execution is the slowest
job in the repo, so it becomes opt-in via a "tutorials" label rather than
opt-out via "skip tutorials". All of this is PR-only: pushes to main and
published releases always run everything.
Add a Docs job that runs the Sphinx build. That build previously only ever
ran on Read the Docs, so a broken cross-reference or conf.py change was
not caught until after merge. Notebooks are not executed there
(nb_execution_mode = "off"), which keeps it cheap; -W is left off for now
because the build currently emits 22 warnings.
Fix the skip-flag checkout, which used ref: ${{ env.GITHUB_SHA }}. That
expression is always empty, since GITHUB_SHA lives in the github context
and not in env, so on a PR the flags were being matched against the merge
commit's "Merge X into Y" subject and never matched anything. Read the
branch head instead.
Add "labeled" to the Tutorials pull_request triggers, without which
applying the label to an already-open PR would never start a run, and give
that workflow a concurrency group so toggling labels cannot stack runs.
Drop the duplicated check_skip_flags job from Tutorials; with a label-only
opt-in there is no commit message to inspect, so one copy remains, in CI.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
No description provided.