|
2 | 2 | #
|
3 | 3 | # This workflow builds the documentation on Linux/macOS/Windows.
|
4 | 4 | #
|
5 |
| -# It is run on every commit to the main and pull request branches, and also |
6 |
| -# when a new release is published. |
7 |
| -# In draft pull requests, only the job on Linux is triggered to save on |
8 |
| -# Continuous Integration resources. |
| 5 | +# It is run on every commit to the main and pull request branches, and also when a new |
| 6 | +# release is published. In draft pull requests, only the job on Linux is triggered to |
| 7 | +# save on Continuous Integration resources. |
9 | 8 | #
|
10 | 9 | # On the main branch, the workflow also handles the documentation deployment:
|
11 | 10 | #
|
12 |
| -# * Updating the development documentation by pushing the built HTML pages |
13 |
| -# from the main branch onto the dev folder of the gh-pages branch. |
| 11 | +# * Updating the development documentation by pushing the built HTML pages from the main |
| 12 | +# branch onto the dev folder of the gh-pages branch. |
14 | 13 | # * Updating the latest documentation link to the new release.
|
15 | 14 | #
|
16 | 15 | name: Docs
|
@@ -43,7 +42,8 @@ concurrency:
|
43 | 42 | group: ${{ github.workflow }}-${{ github.ref }}
|
44 | 43 | cancel-in-progress: ${{ github.ref != 'refs/heads/main' }}
|
45 | 44 |
|
46 |
| -permissions: {} |
| 45 | +permissions: |
| 46 | + contents: write |
47 | 47 |
|
48 | 48 | jobs:
|
49 | 49 | docs:
|
@@ -176,7 +176,7 @@ jobs:
|
176 | 176 | path: deploy
|
177 | 177 | # Download the entire history
|
178 | 178 | fetch-depth: 0
|
179 |
| - persist-credentials: false |
| 179 | + persist-credentials: true |
180 | 180 | if: (github.event_name == 'release' || github.event_name == 'push') && (matrix.os == 'ubuntu-latest')
|
181 | 181 |
|
182 | 182 | - name: Push the built HTML to gh-pages
|
|
0 commit comments