CI: skip build/test jobs if only Docs/
is modified
#5387
Merged
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.
Could we do this to make sure that we run the GitHub Actions and Azure jobs (build, test) only if at least one file outside the
Docs
directory is modified, i.e., skip those jobs if only files in theDocs
directory are modified?I think it would be safe to do so (and a bit of a waste of resources to not do so...), but I leave it open for discussion.
If merged, we could test this rebasing #5386 and seeing if the correct CI jobs are skipped.
Note that this PR leaves the other CI jobs untouched, e.g.,
source
,docs
,CodeQL
, etc.