File tree 1 file changed +6
-2
lines changed
1 file changed +6
-2
lines changed Original file line number Diff line number Diff line change @@ -5,7 +5,10 @@ name: docs
5
5
on :
6
6
push :
7
7
branches : [main]
8
+ pull_request :
9
+ branches : [main]
8
10
workflow_dispatch :
11
+
9
12
jobs :
10
13
build :
11
14
name : Build the documentation with Sphinx
@@ -29,13 +32,14 @@ jobs:
29
32
- name : Build documentation
30
33
run : sphinx-build documentation/ documentation/_build/html
31
34
- name : Upload artifact
32
- uses : actions/upload-pages-artifact@v1
35
+ uses : actions/upload-pages-artifact@v3
33
36
with :
34
37
path : ' documentation/_build/html'
35
38
36
39
deploy :
37
40
name : Deploy documentation to GitHub Pages
38
41
needs : build
42
+ if : github.event_name == 'push'
39
43
permissions :
40
44
contents : read
41
45
pages : write # to deploy to Pages
49
53
uses : actions/configure-pages@v3
50
54
- name : Deploy to GitHub Pages
51
55
id : deployment
52
- uses : actions/deploy-pages@v1
56
+ uses : actions/deploy-pages@v4
You can’t perform that action at this time.
0 commit comments