File tree Expand file tree Collapse file tree 1 file changed +9
-19
lines changed Expand file tree Collapse file tree 1 file changed +9
-19
lines changed Original file line number Diff line number Diff line change 1
- name : Documentation
1
+ name : " Documentation"
2
2
3
3
on :
4
4
push :
7
7
tags : ' *'
8
8
pull_request :
9
9
10
+ concurrency :
11
+ group : ${{ github.workflow }}-${{ github.ref }}
12
+ cancel-in-progress : ${{ github.ref_name != github.event.repository.default_branch || github.ref != 'refs/tags/v*' }}
13
+
10
14
jobs :
11
- build :
12
- permissions :
13
- contents : write
14
- statuses : write
15
- runs-on : ubuntu-latest
16
- steps :
17
- - uses : actions/checkout@v4
18
- - uses : julia-actions/setup-julia@v2
19
- with :
20
- version : ' 1'
21
- - uses : julia-actions/cache@v1
22
- - name : Install dependencies
23
- run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
24
- - name : Build and deploy
25
- env :
26
- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
27
- DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
28
- run : julia --project=docs/ docs/make.jl
15
+ build-and-deploy-docs :
16
+ name : " Documentation"
17
+ uses : " SciML/.github/.github/workflows/documentation.yml@v1"
18
+ secrets : " inherit"
You can’t perform that action at this time.
0 commit comments