Improve Workflows #82
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.
Summary
I've noticed that the Generate API Documentation workflow always fails on PRs since they are not allowed to access the
GITHUB_TOKEN. PRs should only build new docs for testing purposes, not publish them.While at it, I also updated some dependencies and specified permissions and concurrency explicitly in the
generate-docs.yml.In the future, it may also be worth looking into the official
upload-pages-artifactanddeploy-pagesactions.I hope this works as intended, as it was difficult to test locally.
Checklist
cargo check,cargo test)