File tree 2 files changed +41
-6
lines changed
2 files changed +41
-6
lines changed Original file line number Diff line number Diff line change
1
+ name : Build Docs
2
+
3
+ on :
4
+ pull_request :
5
+ branches :
6
+ - main
7
+ paths :
8
+ - ' docs/**'
9
+ - ' mkdocs.yml'
10
+ - ' Makefile'
11
+
12
+ push :
13
+ branches :
14
+ - main
15
+ paths :
16
+ - ' docs/**'
17
+ - ' mkdocs.yml'
18
+ - ' Makefile'
19
+
20
+ jobs :
21
+ docs :
22
+ runs-on : ubuntu-latest
23
+ steps :
24
+ - uses : actions/checkout@v3
25
+ - name : Set up Python
26
+ uses : actions/setup-python@v4
27
+ with :
28
+ python-version : " 3.8"
29
+ - name : Capture branch and tag
30
+ id : branch_name
31
+ run : |
32
+ echo "SOURCE_BRANCH=${GITHUB_REF#refs/heads/}" >> $GITHUB_ENV
33
+ echo "SOURCE_TAG=${GITHUB_REF#refs/tags/}" >> $GITHUB_ENV
34
+ - name : Build docs website
35
+ run : |
36
+ echo "GIT_PYTHON_REFRESH=quiet"
37
+ make build-docs-website
Original file line number Diff line number Diff line change 1
1
name : Docs
2
2
3
3
on :
4
- push :
5
- branches :
6
- - main
7
- paths :
8
- - " docs/**"
9
- - " mkdocs.yml"
4
+ release :
5
+ types :
6
+ - published
7
+ workflow_dispatch : {}
10
8
11
9
jobs :
12
10
release-docs :
You can’t perform that action at this time.
0 commit comments