File tree Expand file tree Collapse file tree 1 file changed +7
-10
lines changed Expand file tree Collapse file tree 1 file changed +7
-10
lines changed Original file line number Diff line number Diff line change @@ -13,17 +13,14 @@ concurrency:
1313 group : ${{ github.workflow }}-${{ github.ref }}
1414 cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
1515
16+ permissions :
17+ contents : write
18+ pull-requests : read
19+
1620jobs :
1721 docs :
1822 runs-on : ubuntu-latest
23+
1924 steps :
20- - uses : actions/checkout@v2
21- - uses : julia-actions/setup-julia@v1
22- with :
23- version : ' 1'
24- - name : Build and deploy
25- uses : julia-actions/julia-docdeploy@v1
26- env :
27- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
28- DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
29- JULIA_DEBUG : Documenter # Print `@debug` statements (https://github.com/JuliaDocs/Documenter.jl/issues/955)
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