File tree Expand file tree Collapse file tree 1 file changed +35
-0
lines changed Expand file tree Collapse file tree 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