File tree Expand file tree Collapse file tree 1 file changed +13
-9
lines changed Expand file tree Collapse file tree 1 file changed +13
-9
lines changed Original file line number Diff line number Diff line change 55 branches :
66 - main
77 - ' release-'
8- tags : ' *'
8+ tags : [ '*']
99 pull_request :
10+ types : [opened, synchronize, reopened]
11+
12+ concurrency :
13+ # Skip intermediate builds: always.
14+ # Cancel intermediate builds: only if it is a pull request build.
15+ group : ${{ github.workflow }}-${{ github.ref }}
16+ cancel-in-progress : ${{ startsWith(github.ref, 'refs/pull/') }}
1017
1118jobs :
1219 build :
1320 runs-on : ubuntu-latest
1421 steps :
1522 - uses : actions/checkout@v4
16- - uses : julia-actions/setup-julia@latest
23+ - uses : julia-actions/setup-julia@v2
1724 with :
1825 version : ' 1'
26+ - uses : julia-actions/cache@v2
1927 - name : Install dependencies
2028 run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
2129 - name : Build and deploy
2230 env :
23- GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
24- DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with SSH deploy key
25- run : julia --project=docs/ --code-coverage=user docs/make.jl
26- - uses : julia-actions/julia-processcoverage@v1
27- - uses : codecov/codecov-action@v5
28- with :
29- files : lcov.info
31+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
32+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
33+ run : julia --project=docs/ docs/make.jl
You can’t perform that action at this time.
0 commit comments