File tree Expand file tree Collapse file tree 3 files changed +47
-0
lines changed Expand file tree Collapse file tree 3 files changed +47
-0
lines changed Original file line number Diff line number Diff line change
1
+ # https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
2
+ version : 2
3
+ updates :
4
+ - package-ecosystem : " github-actions"
5
+ directory : " /" # Location of package manifests
6
+ schedule :
7
+ interval : " weekly"
Original file line number Diff line number Diff line change
1
+ name : TagBot
2
+ on :
3
+ issue_comment : # THIS BIT IS NEW
4
+ types :
5
+ - created
6
+ workflow_dispatch :
7
+ jobs :
8
+ TagBot :
9
+ # THIS 'if' LINE IS NEW
10
+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
11
+ # NOTHING BELOW HAS CHANGED
12
+ runs-on : ubuntu-latest
13
+ steps :
14
+ - uses : JuliaRegistries/TagBot@v1
15
+ with :
16
+ token : ${{ secrets.GITHUB_TOKEN }}
17
+ ssh : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change
1
+ name : Documentation
2
+ on :
3
+ push :
4
+ branches : [main]
5
+ tags : ['*']
6
+ pull_request :
7
+ types : [opened, synchronize, reopened]
8
+ jobs :
9
+ build :
10
+ runs-on : ubuntu-latest
11
+ steps :
12
+ - uses : actions/checkout@v2
13
+ - uses : julia-actions/setup-julia@latest
14
+ with :
15
+ # Build documentation on Julia 1.10
16
+ version : ' 1.11'
17
+ - name : Install dependencies
18
+ run : julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
19
+ - name : Build and deploy
20
+ env :
21
+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token
22
+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }} # For authentication with Documenter.jl
23
+ run : julia --project=docs/ docs/make.jl
You can’t perform that action at this time.
0 commit comments