File tree Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Expand file tree Collapse file tree 1 file changed +6
-3
lines changed Original file line number Diff line number Diff line change @@ -17,16 +17,17 @@ jobs:
1717 env :
1818 GITHUB_PAT : ${{ secrets.GITHUB_TOKEN }}
1919 steps :
20- - uses : actions/checkout@v3
20+ - name : Checkout repository (with submodules)
21+ uses : actions/checkout@v3
2122 with :
22- context : .
2323 submodules : recursive
2424 fetch-depth : 0
25+
2526 - name : Set up Python
26272728 with :
28- context : .
2929 python-version : 3.9
30+
3031 - name : Install sphinx
3132 run : |
3233 pip install sphinx
@@ -36,12 +37,14 @@ jobs:
3637 pip install sphinx-favicon
3738 pip install sphinxcontrib.bibtex
3839 pip install sphinx-tabs
40+
3941 - name : Build
4042 run : |
4143 cd docs/sphinx/
4244 make clean
4345 make html
4446 cp source/index_replace.html build/html/index.html
47+
4548 - name : Deploy
4649 uses : peaceiris/actions-gh-pages@v3
4750 if : ${{ github.ref == 'refs/heads/main' }}
You can’t perform that action at this time.
0 commit comments