File tree Expand file tree Collapse file tree 1 file changed +8
-15
lines changed Expand file tree Collapse file tree 1 file changed +8
-15
lines changed Original file line number Diff line number Diff line change @@ -3,8 +3,7 @@ name: Documentation
3
3
on :
4
4
push :
5
5
branches :
6
- # Build the master branch.
7
- - master
6
+ - main
8
7
tags : ' *'
9
8
pull_request :
10
9
@@ -14,20 +13,14 @@ concurrency:
14
13
group : ${{ github.workflow }}-${{ github.ref }}
15
14
cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
16
15
16
+ permissions :
17
+ contents : write
18
+ pull-requests : read
19
+
17
20
jobs :
18
21
docs :
19
22
runs-on : ubuntu-latest
23
+
20
24
steps :
21
- - uses : actions/checkout@v2
22
- - uses : julia-actions/setup-julia@latest
23
- with :
24
- version : ' 1'
25
- - name : Install dependencies
26
- run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
27
- - name : Build and deploy
28
- env :
29
- GKSwstype : nul # GR backend issues
30
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
31
- DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
32
- JULIA_DEBUG : Documenter # Print `@debug` statements (https://github.com/JuliaDocs/Documenter.jl/issues/955)
33
- run : julia --project=docs/ docs/make.jl
25
+ - name : Build and deploy Documenter.jl docs
26
+ uses : TuringLang/actions/DocsDocumenter@main
You can’t perform that action at this time.
0 commit comments