changes for gitbook manual to switch from merge to pull build #4801
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
New workflow:
-> If there are changes in documentation in a pull request, it triggers gitaction : Build documentation with R bookmark "test_static.yml"
It uses basic gitaction users to build static pages and add a commit with it to pull requests.
-> It will not trigger extra tests for the last commit - this means if there were code changes also - it only shows tests for the previous commits but not an automatic one
Once the documentation build is done - it can be merged with two reviews as any other pull request.
If there are changes in /docs folder, it triggers the GitHub pages deploy action in "static.yml" to deploy the content of /docs to GitHub pages.
Checklist
/t/data/fixture/patches/
./docs
has been updated./js
to/js/source/legacy
.