fix path pattern in documentation pipeline #919
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.
Checklist
make test-all
(UNIX) passes. CI will also test thisDescription of change
IMHO there is an error in the path pattern in the documentation pipeline.
The pipeline should run at any changes in
docs
folder. But the PR #917 and #918 show that is not the case.But there should be a preview, especially for changes to the requirements.txt.
I was also able to reproduce this in a test.
Docs:
After a merge #917 and #918 should be rebased.