File tree 1 file changed +12
-8
lines changed
1 file changed +12
-8
lines changed Original file line number Diff line number Diff line change @@ -33,21 +33,25 @@ jobs:
33
33
34
34
docs :
35
35
name : Documentation
36
+ permissions :
37
+ actions : write
38
+ contents : write
39
+ pull-requests : read
40
+ statuses : write
36
41
runs-on : ubuntu-latest
37
42
steps :
38
43
- uses : actions/checkout@v2
39
44
- uses : julia-actions/setup-julia@v1
40
45
with :
41
46
version : ' 1.10'
42
- - run : |
43
- julia --project=docs -e '
44
- using Pkg
45
- Pkg.develop(PackageSpec(path=pwd()))
46
- Pkg.instantiate()'
47
- - run : julia --project=docs docs/make.jl
47
+ - uses : julia-actions/cache@v2
48
+ - name : Install dependencies
49
+ run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
50
+ - name : Build and deploy
48
51
env :
49
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
50
- DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
52
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
53
+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
54
+ run : julia --project=docs/ docs/make.jl
51
55
52
56
downgrade :
53
57
name : Downgrade ${{ matrix.version }} - ${{ matrix.os }} - ${{ matrix.arch }} - ${{ github.event_name }}
You can’t perform that action at this time.
0 commit comments