File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Load diff This file was deleted.
Original file line number Diff line number Diff line change 1- name : CI
1+ name : ci
22
33on :
44 pull_request :
Original file line number Diff line number Diff line change 11name : docs
22
33on :
4- pull_request :
54 push :
65 branches :
76 - ' master'
1211
1312jobs :
1413 build :
14+ permissions :
15+ actions : write
16+ contents : write
17+ pull-requests : read
18+ statuses : write
1519 runs-on : ${{ matrix.os }}
1620 strategy :
1721 matrix :
2125 - uses : julia-actions/setup-julia@latest
2226 - uses : julia-actions/cache@v2
2327 - name : Install dependencies
24- run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
28+ run : julia --project=docs -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
2529 - name : Build and deploy
30+ run : julia --color=yes --project=docs docs/make.jl
2631 env :
2732 GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
2833 DOCUMENTER_KEY : ${{secrets.DOCUMENTER_KEY}}
29- run : julia --project=docs/ docs/make.jl
Original file line number Diff line number Diff line change 1+ name : tagbot
2+
3+ on :
4+ issue_comment :
5+ types :
6+ - created
7+ workflow_dispatch :
8+ inputs :
9+ lookback :
10+ default : 10
11+
12+ jobs :
13+ tagbot :
14+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
15+ runs-on : ubuntu-latest
16+ steps :
17+ - uses : JuliaRegistries/TagBot@v1
18+ with :
19+ token : ${{ secrets.GITHUB_TOKEN }}
20+ ssh : ${{ secrets.DOCUMENTER_KEY }}
You can’t perform that action at this time.
0 commit comments