File tree Expand file tree Collapse file tree 4 files changed +84
-73
lines changed
Expand file tree Collapse file tree 4 files changed +84
-73
lines changed Original file line number Diff line number Diff line change 1+ name : Documenter
2+
3+ on :
4+ push :
5+ branches :
6+ - main
7+ tags : ['*']
8+ pull_request :
9+ workflow_dispatch :
10+
11+ permissions :
12+ contents : write
13+ pages : write
14+ id-token : write
15+ statuses : write
16+
17+ concurrency :
18+ group : pages
19+ cancel-in-progress : false
20+
21+ jobs :
22+ build :
23+ runs-on : ubuntu-latest
24+ steps :
25+ - name : Checkout
26+ uses : actions/checkout@v4
27+
28+ - name : Setup Julia
29+ uses : julia-actions/setup-julia@v1
30+ with :
31+ version : ' 1.10'
32+
33+ - name : Load Julia packages from cache
34+ id : julia-cache
35+ uses : julia-actions/cache@v2
36+
37+ - name : Build and deploy docs
38+ uses : julia-actions/julia-docdeploy@v1
39+ env :
40+ GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
41+ DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
42+ GKSwstype : " 100"
43+ JULIA_DEBUG : " Documenter"
44+ DATADEPS_ALWAYS_ACCEPT : true
45+
46+ - name : Save Julia depot cache on cancel or failure
47+ id : julia-cache-save
48+ if : cancelled() || failure()
49+ uses : actions/cache/save@v4
50+ with :
51+ path : |
52+ ${{ steps.julia-cache.outputs.cache-paths }}
53+ key : ${{ steps.julia-cache.outputs.cache-key }}
Original file line number Diff line number Diff line change 1+ name : TagBot
2+ on :
3+ issue_comment :
4+ types :
5+ - created
6+ workflow_dispatch :
7+ inputs :
8+ lookback :
9+ default : 3
10+ permissions :
11+ actions : read
12+ checks : read
13+ contents : write
14+ deployments : read
15+ issues : read
16+ discussions : read
17+ packages : read
18+ pages : read
19+ pull-requests : read
20+ repository-projects : read
21+ security-events : read
22+ statuses : read
23+ jobs :
24+ TagBot :
25+ if : github.event_name == 'workflow_dispatch' || github.actor == 'JuliaTagBot'
26+ runs-on : ubuntu-latest
27+ steps :
28+ - uses : JuliaRegistries/TagBot@v1
29+ with :
30+ token : ${{ secrets.GITHUB_TOKEN }}
31+ ssh : ${{ secrets.DOCUMENTER_KEY }}
Load Diff This file was deleted.
Load Diff This file was deleted.
You can’t perform that action at this time.
0 commit comments