CI: Split docs workflows and add write permissions for pages deployment #52
Commits on Jan 18, 2024
-
Add write permissions for pages workflow
Signed-off-by: Ryan Friedman <[email protected]>
-
Change to two separate workflows
* Build runs like normal without the deploy * Deploy only runs on the ros2 branch * Reused workflows: https://docs.github.com/en/actions/using-workflows/reusing-workflows Signed-off-by: Ryan Friedman <[email protected]>
-
* https://github.com/peaceiris/actions-gh-pages?tab=readme-ov-file#%EF%B8%8F-first-deployment-with-github_token Signed-off-by: Ryan Friedman <[email protected]>
-
Upgrade checkout action to latest
* And remove tokens since the repo is now public Signed-off-by: Ryan Friedman <[email protected]>
-
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.