1313 - environment/docs.yml
1414 - .github/workflows/gh-pages.yml
1515
16+ permissions : read-all
17+
1618jobs :
1719 main :
1820 if : ${{ !(github.event.pull_request && github.event.action == 'closed') }}
1921 runs-on : ubuntu-latest
22+ permissions :
23+ contents : write
24+ pull-requests : write
2025 defaults :
2126 run :
2227 shell : bash -l {0}
2328
2429 steps :
25- - uses : actions/checkout@v3
30+ - uses : actions/checkout@v4.1.1
2631 with :
2732 fetch-depth : 0
2833
29- - uses : conda-incubator/setup-miniconda@v2
34+ - uses : conda-incubator/setup-miniconda@v3.0.2
3035 with :
3136 python-version : ' 3.10'
3237 miniforge-variant : Mambaforge
4651 run : make html
4752
4853 - name : GitHub Pages [main]
49- uses : peaceiris/actions-gh-pages@v3
54+ uses : peaceiris/actions-gh-pages@v3.9.3
5055 if : ${{ github.ref == 'refs/heads/main' }}
5156 with :
5257 github_token : ${{ secrets.GITHUB_TOKEN }}
5964 user_email : ' github-actions[bot]@users.noreply.github.com'
6065
6166 - name : GitHub Pages [PR]
62- uses : peaceiris/actions-gh-pages@v3
67+ uses : peaceiris/actions-gh-pages@v3.9.3
6368 if : ${{ github.event.pull_request && github.event.action != 'closed' }}
6469 with :
6570 github_token : ${{ secrets.GITHUB_TOKEN }}
@@ -75,15 +80,15 @@ jobs:
7580 if : ${{ github.event.pull_request && github.event.action != 'closed' }}
7681 env :
7782 PR_NUM : ${{ github.event.number }}
78- uses : mshick/add-pr-comment@v2
83+ uses : mshick/add-pr-comment@v2.8.2
7984 with :
8085 message : |
8186 Documentation preview: [show](https://intelpython.github.io/numba-dpex/pull/${{ env.PR_NUM }}).
8287 # repo-token: ${{ secrets.GITHUB_TOKEN }}
8388
8489 - name : Publish release
8590 if : startsWith(github.ref, 'refs/heads/release')
86- uses : peaceiris/actions-gh-pages@v3
91+ uses : peaceiris/actions-gh-pages@v3.9.3
8792 with :
8893 github_token : ${{ secrets.GITHUB_TOKEN }}
8994 destination_dir : next_release
99104
100105 - name : Publish tag
101106 if : startsWith(github.ref, 'refs/tags/')
102- uses : peaceiris/actions-gh-pages@v3
107+ uses : peaceiris/actions-gh-pages@v3.9.3
103108 with :
104109 github_token : ${{ secrets.GITHUB_TOKEN }}
105110 destination_dir : ${{ steps.capture_tag.outputs.tag_number }}
@@ -110,9 +115,11 @@ jobs:
110115 clean :
111116 if : ${{ github.event.pull_request && github.event.action == 'closed' }}
112117 runs-on : ubuntu-latest
113-
118+ permissions :
119+ contents : write
120+ pull-requests : write
114121 steps :
115- - uses : actions/checkout@v2
122+ - uses : actions/checkout@v4.1.1
116123 with :
117124 fetch-depth : 0
118125
@@ -132,7 +139,7 @@ jobs:
132139 git push tokened_docs gh-pages
133140
134141 - name : Comment PR [docs removed]
135- uses : mshick/add-pr-comment@v1
142+ uses : mshick/add-pr-comment@v2.8.2
136143 with :
137144 message : |
138145 Documentation preview removed.
0 commit comments