File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -13,20 +13,10 @@ jobs:
1313 build :
1414 runs-on : ubuntu-latest
1515 steps :
16- # Full clone on main/dev so we get version history for documentation
17- - name : Checkout full history on main/dev
18- if : ${{ github.ref == 'refs/heads/main' || github.ref == 'refs/heads/dev' }}
19- uses : actions/checkout@v4
16+ - uses : actions/checkout@v4
2017 with :
2118 fetch-depth : 0
22-
23- # Shallow clone (single commit) on all other branches for debugging
24- - name : Checkout shallow on other branches
25- if : ${{ github.ref != 'refs/heads/main' && github.ref != 'refs/heads/dev' }}
26- uses : actions/checkout@v4
27- with :
28- fetch-depth : 1
29-
19+
3020 - name : Set up Python Environment
3121 uses : actions/setup-python@v4
3222 with :
4030 - name : Build HTML docs
4131 working-directory : docs
4232 run : make html
43-
33+
4434 - name : Deploy to GitHub Pages
4535 uses : peaceiris/actions-gh-pages@v4
4636 with :
You can’t perform that action at this time.
0 commit comments