File tree Expand file tree Collapse file tree 1 file changed +34
-0
lines changed
Expand file tree Collapse file tree 1 file changed +34
-0
lines changed 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+ permissions :
13+ actions : write
14+ contents : write
15+ pull-requests : read
16+ statuses : write
17+ runs-on : ubuntu-latest
18+ steps :
19+ - uses : actions/checkout@v4
20+ - uses : julia-actions/setup-julia@v2
21+ with :
22+ version : ' 1'
23+ - uses : julia-actions/cache@v2
24+ - name : Install dependencies
25+ shell : julia --color=yes --project=docs {0}
26+ run : |
27+ using Pkg
28+ Pkg.develop(PackageSpec(path=pwd()))
29+ Pkg.instantiate()
30+ - name : Build and deploy
31+ run : julia --color=yes --project=docs docs/make.jl
32+ env :
33+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
34+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
You can’t perform that action at this time.
0 commit comments