File tree Expand file tree Collapse file tree 1 file changed +17
-18
lines changed Expand file tree Collapse file tree 1 file changed +17
-18
lines changed Original file line number Diff line number Diff line change @@ -33,21 +33,20 @@ jobs:
3333 env :
3434 CODECOV_TOKEN : ${{ secrets.CODECOV_TOKEN }}
3535
36- # Enable the below for Documenter build
37- # docs:
38- # name: Documentation
39- # runs-on: ubuntu-latest
40- # steps:
41- # - uses: actions/checkout@v1
42- # - uses: julia-actions/setup-julia@latest
43- # with:
44- # version: '1.3'
45- # - run: julia --project=docs -e '
46- # using Pkg;
47- # Pkg.develop(PackageSpec(; path=pwd()));
48- # Pkg.instantiate();'
49- # - run: julia --project=docs docs/make.jl
50- # env:
51- # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
52- # # Needed due to https://github.com/JuliaDocs/Documenter.jl/issues/1177
53- # DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }}
36+ docs :
37+ name : Documentation
38+ runs-on : ubuntu-latest
39+ steps :
40+ - uses : actions/checkout@v1
41+ - uses : julia-actions/setup-julia@latest
42+ with :
43+ version : ' 1'
44+ - uses : julia-actions/cache@v1
45+ - name : Install dependencies
46+ run : julia --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate();'
47+ - name : Build and deploy
48+ env :
49+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
50+ # Needed due to https://github.com/JuliaDocs/Documenter.jl/issues/1177
51+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
52+ run : julia --project=docs docs/make.jl
You can’t perform that action at this time.
0 commit comments