File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 99
1010
1111jobs :
12- doc-preview-cleanup :
12+ build :
1313 runs-on : ubuntu-latest
1414 steps :
15- - name : Checkout gh-pages branch
16- uses : actions/checkout@v2
15+ - uses : actions/checkout@v2
16+ - uses : julia- actions/setup-julia@latest
1717 with :
18- ref : gh-pages
19-
20- - name : Delete preview and history
21- run : |
22- git config user.name "Documenter.jl"
23- git config user.email "documenter@juliadocs.github.io"
24- git rm -rf "previews/PR$PRNUM"
25- git commit -m "delete preview"
26- git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
18+ version : ' 1.6'
19+ - name : Install dependencies
20+ run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
21+ - name : Build and deploy
2722 env :
28- PRNUM : ${{ github.event.number }}
29-
30- - name : Push changes
31- run : |
32- git push --force origin gh-pages-new:gh-pages
23+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
24+ run : julia --project=docs/ docs/make.jl
You can’t perform that action at this time.
0 commit comments