@@ -19,16 +19,19 @@ jobs:
1919 main :
2020 if : ${{ !(github.event.pull_request && github.event.action == 'closed') }}
2121 runs-on : ubuntu-latest
22+ permissions :
23+ contents : write
24+ pull-requests : write
2225 defaults :
2326 run :
2427 shell : bash -l {0}
2528
2629 steps :
27- - uses : actions/checkout@v3
30+ - uses : actions/checkout@v4.1.1
2831 with :
2932 fetch-depth : 0
3033
31- - uses : conda-incubator/setup-miniconda@v2
34+ - uses : conda-incubator/setup-miniconda@v3.0.2
3235 with :
3336 python-version : ' 3.10'
3437 miniforge-variant : Mambaforge
4851 run : make html
4952
5053 - name : GitHub Pages [main]
51- uses : peaceiris/actions-gh-pages@v3
54+ uses : peaceiris/actions-gh-pages@v3.9.3
5255 if : ${{ github.ref == 'refs/heads/main' }}
5356 with :
5457 github_token : ${{ secrets.GITHUB_TOKEN }}
6164 user_email : ' github-actions[bot]@users.noreply.github.com'
6265
6366 - name : GitHub Pages [PR]
64- uses : peaceiris/actions-gh-pages@v3
67+ uses : peaceiris/actions-gh-pages@v3.9.3
6568 if : ${{ github.event.pull_request && github.event.action != 'closed' }}
6669 with :
6770 github_token : ${{ secrets.GITHUB_TOKEN }}
@@ -77,15 +80,15 @@ jobs:
7780 if : ${{ github.event.pull_request && github.event.action != 'closed' }}
7881 env :
7982 PR_NUM : ${{ github.event.number }}
80- uses : mshick/add-pr-comment@v2
83+ uses : mshick/add-pr-comment@v2.8.2
8184 with :
8285 message : |
8386 Documentation preview: [show](https://intelpython.github.io/numba-dpex/pull/${{ env.PR_NUM }}).
8487 # repo-token: ${{ secrets.GITHUB_TOKEN }}
8588
8689 - name : Publish release
8790 if : startsWith(github.ref, 'refs/heads/release')
88- uses : peaceiris/actions-gh-pages@v3
91+ uses : peaceiris/actions-gh-pages@v3.9.3
8992 with :
9093 github_token : ${{ secrets.GITHUB_TOKEN }}
9194 destination_dir : next_release
@@ -101,7 +104,7 @@ jobs:
101104
102105 - name : Publish tag
103106 if : startsWith(github.ref, 'refs/tags/')
104- uses : peaceiris/actions-gh-pages@v3
107+ uses : peaceiris/actions-gh-pages@v3.9.3
105108 with :
106109 github_token : ${{ secrets.GITHUB_TOKEN }}
107110 destination_dir : ${{ steps.capture_tag.outputs.tag_number }}
@@ -112,9 +115,11 @@ jobs:
112115 clean :
113116 if : ${{ github.event.pull_request && github.event.action == 'closed' }}
114117 runs-on : ubuntu-latest
115-
118+ permissions :
119+ contents : write
120+ pull-requests : write
116121 steps :
117- - uses : actions/checkout@v2
122+ - uses : actions/checkout@v4.1.1
118123 with :
119124 fetch-depth : 0
120125
@@ -134,7 +139,7 @@ jobs:
134139 git push tokened_docs gh-pages
135140
136141 - name : Comment PR [docs removed]
137- uses : mshick/add-pr-comment@v1
142+ uses : mshick/add-pr-comment@v2.8.2
138143 with :
139144 message : |
140145 Documentation preview removed.
0 commit comments