File tree Expand file tree Collapse file tree 5 files changed +77
-1
lines changed Expand file tree Collapse file tree 5 files changed +77
-1
lines changed Original file line number Diff line number Diff line change 1+ name : Doc Preview Cleanup
2+
3+ on :
4+ pull_request :
5+ types : [closed]
6+
7+ jobs :
8+ doc-preview-cleanup :
9+ runs-on : ubuntu-latest
10+ steps :
11+ - name : Checkout gh-pages branch
12+ uses : actions/checkout@v2
13+ with :
14+ ref : gh-pages
15+
16+ - name : Delete preview and history
17+ run : |
18+ git config user.name "Documenter.jl"
19+ git config user.email "[email protected] " 20+ git rm -rf "previews/PR$PRNUM"
21+ git commit -m "delete preview"
22+ git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
23+ env :
24+ PRNUM : ${{ github.event.number }}
25+
26+ - name : Push changes
27+ run : |
28+ git push --force origin gh-pages-new:gh-pages
Original file line number Diff line number Diff line change 1+ name : Documentation
2+
3+ on :
4+ push :
5+ branches :
6+ - master
7+ tags : ' *'
8+ pull_request :
9+
10+ jobs :
11+ build :
12+ runs-on : ubuntu-latest
13+ steps :
14+ - uses : actions/checkout@v2
15+ - uses : julia-actions/setup-julia@latest
16+ with :
17+ version : ' 1.4'
18+ - name : Install dependencies
19+ run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
20+ - name : Build and deploy
21+ env :
22+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
23+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
24+ run : julia --project=docs/ docs/make.jl
Original file line number Diff line number Diff line change 1+ name : TagBot
2+ on :
3+ issue_comment :
4+ types :
5+ - created
6+ workflow_dispatch :
7+ jobs :
8+ TagBot :
9+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
10+ runs-on : ubuntu-latest
11+ steps :
12+ - uses : JuliaRegistries/TagBot@v1
13+ with :
14+ token : ${{ secrets.GITHUB_TOKEN }}
15+ ssh : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change @@ -7,3 +7,8 @@ version = "0.1.0"
77Libdl = " 8f399da3-3557-5675-b5ff-fb832c97cbdb"
88MPI = " da04e1cc-30fd-572f-bb4f-1f8673147195"
99PetscWrap = " 5be22e1c-01b5-4697-96eb-ef9ccdc854b8"
10+
11+ [compat ]
12+ MPI = " 0.16.1"
13+ julia = " 1.5"
14+ PetscWrap = " 0.1.1"
Original file line number Diff line number Diff line change 11[deps ]
22Documenter = " e30172f5-a6a5-5a46-863b-614d45cd2de4"
33SlepcWrap = " c3679e3b-785e-4ccc-b734-b7685cbb935e"
4- Literate = " 98b081ad-f1c9-55d3-8b20-4c87d4299306"
4+ Literate = " 98b081ad-f1c9-55d3-8b20-4c87d4299306"
5+
6+ [compat ]
7+ Documenter = " 0.26"
8+ Literate = " 2.7"
You can’t perform that action at this time.
0 commit comments