File tree Expand file tree Collapse file tree 1 file changed +30
-5
lines changed Expand file tree Collapse file tree 1 file changed +30
-5
lines changed Original file line number Diff line number Diff line change 5
5
push :
6
6
branches :
7
7
- master
8
+ pull_request :
8
9
9
10
jobs :
10
- publish :
11
+ build :
11
12
runs-on : ubuntu-latest
12
13
defaults :
13
14
run :
29
30
- name : Build website
30
31
run : make html
31
32
32
- - name : Deploy changes
33
-
33
+ - name : Linkcheck
34
+ run : make linkcheck
35
+ continue-on-error : true
36
+
37
+ - name : Upload website artifacts
38
+ uses : actions/upload-pages-artifact@v3
34
39
with :
35
- branch : gh-pages
36
- folder : build/html
40
+ path : build/html/
41
+
42
+
43
+ deploy :
44
+ if : ${{ github.ref == 'refs/heads/master' }}
45
+
46
+ needs : build
47
+
48
+ permissions :
49
+ pages : write
50
+ id-token : write
51
+
52
+ environment :
53
+ name : github-pages
54
+ url : ${{steps.deployment.outputs.page_url}}
55
+
56
+ runs-on : ubuntu-latest
57
+
58
+ steps :
59
+ - name : Deploy to GitHub Pages
60
+ id : deployment
61
+ uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments