chore(ci): fix typo in doc publishing workflow #1349
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.
Description of your changes
This PR fixes an issue in the workflow that publishes the docs after a PR that changes files related to them has been merged. As described in #1348, the workflow had a typo that caused it to fail immediately on startup.
The PR corrects the typo and also removes some extra lines, as well as one of the paths that can trigger the workflow (
examples/**
). This path was present in the workflow because in the Python repository the code snippets are under that path. In this repo however the snippets that are placed in the docs are under thedocs
path, so the extra path is unnecessary.Once merged the PR closes #1348.
How to verify this change
Check the next workflow run.
Related issues, RFCs
Issue number: #1348
Checklist
Breaking change checklist
Is it a breaking change?: NO
By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice.