File tree 1 file changed +35
-0
lines changed
1 file changed +35
-0
lines changed Original file line number Diff line number Diff line change
1
+ name : Docs v2
2
+
3
+ on :
4
+ push :
5
+ branches :
6
+ - v2
7
+ paths :
8
+ - " docs/**"
9
+ - " mkdocs.yml"
10
+ - " examples/**"
11
+
12
+ jobs :
13
+ changelog :
14
+ permissions :
15
+ contents : write
16
+ uses : ./.github/workflows/reusable_publish_changelog.yml
17
+
18
+ release-docs :
19
+ needs : changelog
20
+ permissions :
21
+ contents : write
22
+ pages : write
23
+ uses : ./.github/workflows/reusable_publish_docs.yml
24
+ with :
25
+ version : v2
26
+ alias : alpha
27
+ # Maintenance: Only necessary in repo migration
28
+ # - name: Create redirect from old docs
29
+ # run: |
30
+ # git checkout gh-pages
31
+ # test -f 404.html && echo "Redirect already set" && exit 0
32
+ # git checkout develop -- 404.html
33
+ # git add 404.html
34
+ # git commit -m "chore: set docs redirect" --no-verify
35
+ # git push origin gh-pages -f
You can’t perform that action at this time.
0 commit comments