File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 55 - master
66 tags : ' *'
77 pull_request :
8+
89jobs :
9- build :
10+ doc-preview-cleanup :
1011 runs-on : ubuntu-latest
1112 steps :
12- - uses : actions/checkout@v2
13- - uses : julia- actions/setup-julia@latest
13+ - name : Checkout gh-pages branch
14+ uses : actions/checkout@v2
1415 with :
15- version : ' 1.5'
16- - name : Install dependencies
17- run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
18- - name : Build and deploy
16+ ref : gh-pages
17+
18+ - name : Delete preview and history
19+ run : |
20+ git config user.name "Documenter.jl"
21+ git config user.email "documenter@juliadocs.github.io"
22+ git rm -rf "previews/PR$PRNUM"
23+ git commit -m "delete preview"
24+ git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
1925 env :
20- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
21- run : julia --project=docs/ docs/make.jl
26+ PRNUM : ${{ github.event.number }}
27+
28+ - name : Push changes
29+ run : |
30+ git push --force origin gh-pages-new:gh-pages
Original file line number Diff line number Diff line change @@ -7,6 +7,7 @@ using Test
77using Random
88using Query
99
10+
1011using PostgresORM. PostgresORMUtil
1112
1213
You can’t perform that action at this time.
0 commit comments