Repository navigation
Conversation
A pull request that changes only files under docs/, or .md and .rst files, now skips the build, test, lint and sanitizer jobs in CI and Quality. scripts/ci_code_changed.sh decides from the merge commit diff. Renames count on both sides, so moving a source file under docs/ still runs everything. Pushes to main always run everything. ci-ok and quality-ok always run. They fail when a job they depend on failed or was cancelled, and on a code change also when one was skipped. They are the checks branch rules should require. A matrix job skipped by its `if` reports one check with the matrix expression unexpanded, so a required check named after a matrix job would never report. postgres and clang-tidy stay outside the gates, as they are not required today. Also pass the clang-tidy file list through an array and split the TSAN_OPTIONS exports from their assignment, which actionlint flagged.
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
1 participant
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.
Temporary draft to run the docs-only path of the change on branch ci/skip-heavy-jobs-on-docs-only-prs on GitHub. It counts workflow and script changes as documentation so that the path runs here. It will be closed without merging.