File tree Expand file tree Collapse file tree 1 file changed +11
-6
lines changed Expand file tree Collapse file tree 1 file changed +11
-6
lines changed Original file line number Diff line number Diff line change 7
7
- fix/documentation-workflow
8
8
workflow_dispatch :
9
9
10
+ # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
11
+ permissions :
12
+ contents : read
13
+ pages : write
14
+ id-token : write
15
+
10
16
jobs :
11
17
docs :
12
18
runs-on : ubuntu-latest
13
19
steps :
14
20
15
21
with :
16
22
persist-credentials : false
23
+
17
24
- uses : ./.github/actions/dependencies
18
25
26
+ - name : Setup Pages
27
+ uses : actions/configure-pages@v4
28
+
19
29
- name : Generate Docs
20
30
run : |
21
31
pdm run make gen-docs
@@ -28,19 +38,14 @@ jobs:
28
38
29
39
deploy :
30
40
needs : docs
31
-
32
- # Grant GITHUB_TOKEN the permissions required to make a Pages deployment
33
- permissions :
34
- pages : write
35
- id-token : write
41
+ runs-on : ubuntu-latest
36
42
37
43
# Deploy to the github-pages environment
38
44
environment :
39
45
name : github-pages
40
46
url : ${{ steps.deployment.outputs.page_url }}
41
47
42
48
# Specify runner + deployment step
43
- runs-on : ubuntu-latest
44
49
steps :
45
50
- name : Deploy to GitHub Pages
46
51
id : deployment
You can’t perform that action at this time.
0 commit comments