@@ -19,16 +19,19 @@ jobs:
19
19
main :
20
20
if : ${{ !(github.event.pull_request && github.event.action == 'closed') }}
21
21
runs-on : ubuntu-latest
22
+ permissions :
23
+ contents : write
24
+ pull-requests : write
22
25
defaults :
23
26
run :
24
27
shell : bash -l {0}
25
28
26
29
steps :
27
- - uses : actions/checkout@v3
30
+ - uses : actions/checkout@v4.1.1
28
31
with :
29
32
fetch-depth : 0
30
33
31
- - uses : conda-incubator/setup-miniconda@v2
34
+ - uses : conda-incubator/setup-miniconda@v3.0.2
32
35
with :
33
36
python-version : ' 3.10'
34
37
miniforge-variant : Mambaforge
48
51
run : make html
49
52
50
53
- name : GitHub Pages [main]
51
- uses : peaceiris/actions-gh-pages@v3
54
+ uses : peaceiris/actions-gh-pages@v3.9.3
52
55
if : ${{ github.ref == 'refs/heads/main' }}
53
56
with :
54
57
github_token : ${{ secrets.GITHUB_TOKEN }}
61
64
user_email : ' github-actions[bot]@users.noreply.github.com'
62
65
63
66
- name : GitHub Pages [PR]
64
- uses : peaceiris/actions-gh-pages@v3
67
+ uses : peaceiris/actions-gh-pages@v3.9.3
65
68
if : ${{ github.event.pull_request && github.event.action != 'closed' }}
66
69
with :
67
70
github_token : ${{ secrets.GITHUB_TOKEN }}
@@ -77,15 +80,15 @@ jobs:
77
80
if : ${{ github.event.pull_request && github.event.action != 'closed' }}
78
81
env :
79
82
PR_NUM : ${{ github.event.number }}
80
- uses : mshick/add-pr-comment@v2
83
+ uses : mshick/add-pr-comment@v2.8.2
81
84
with :
82
85
message : |
83
86
Documentation preview: [show](https://intelpython.github.io/numba-dpex/pull/${{ env.PR_NUM }}).
84
87
# repo-token: ${{ secrets.GITHUB_TOKEN }}
85
88
86
89
- name : Publish release
87
90
if : startsWith(github.ref, 'refs/heads/release')
88
- uses : peaceiris/actions-gh-pages@v3
91
+ uses : peaceiris/actions-gh-pages@v3.9.3
89
92
with :
90
93
github_token : ${{ secrets.GITHUB_TOKEN }}
91
94
destination_dir : next_release
@@ -101,7 +104,7 @@ jobs:
101
104
102
105
- name : Publish tag
103
106
if : startsWith(github.ref, 'refs/tags/')
104
- uses : peaceiris/actions-gh-pages@v3
107
+ uses : peaceiris/actions-gh-pages@v3.9.3
105
108
with :
106
109
github_token : ${{ secrets.GITHUB_TOKEN }}
107
110
destination_dir : ${{ steps.capture_tag.outputs.tag_number }}
@@ -112,9 +115,11 @@ jobs:
112
115
clean :
113
116
if : ${{ github.event.pull_request && github.event.action == 'closed' }}
114
117
runs-on : ubuntu-latest
115
-
118
+ permissions :
119
+ contents : write
120
+ pull-requests : write
116
121
steps :
117
- - uses : actions/checkout@v2
122
+ - uses : actions/checkout@v4.1.1
118
123
with :
119
124
fetch-depth : 0
120
125
@@ -134,7 +139,7 @@ jobs:
134
139
git push tokened_docs gh-pages
135
140
136
141
- name : Comment PR [docs removed]
137
- uses : mshick/add-pr-comment@v1
142
+ uses : mshick/add-pr-comment@v2.8.2
138
143
with :
139
144
message : |
140
145
Documentation preview removed.
0 commit comments