File tree 4 files changed +13
-2
lines changed
4 files changed +13
-2
lines changed Original file line number Diff line number Diff line change 4
4
pull_request :
5
5
types : [closed]
6
6
7
+ # Ensure that only one "Doc Preview Cleanup" workflow is force pushing at a time
8
+ concurrency :
9
+ group : doc-preview-cleanup
10
+ cancel-in-progress : false
11
+
7
12
jobs :
8
13
doc-preview-cleanup :
9
14
runs-on : ubuntu-latest
15
+ permissions :
16
+ contents : write
10
17
steps :
11
18
- name : Checkout gh-pages branch
12
19
uses : actions/checkout@v4
Original file line number Diff line number Diff line change 55
55
docs :
56
56
name : Documentation
57
57
runs-on : ubuntu-latest
58
+ permissions :
59
+ contents : write # Required when authenticating with `GITHUB_TOKEN`, not needed when authenticating with SSH deploy keys
60
+ pull-requests : read # Required when using `push_preview=true`
61
+ statuses : write # Optional, used to report documentation build statuses
58
62
steps :
59
63
- uses : actions/checkout@v4
60
64
- uses : julia-actions/setup-julia@v1
Original file line number Diff line number Diff line change 1
1
# ReverseDiff
2
2
3
- [ ![ Stable] ( https://img.shields.io/badge/docs-stable-blue.svg )] ( https://juliadiff.org/ReverseDiff.jl/ )
3
+ [ ![ Stable] ( https://img.shields.io/badge/docs-stable-blue.svg )] ( https://juliadiff.org/ReverseDiff.jl/stable )
4
4
[ ![ Dev] ( https://img.shields.io/badge/docs-dev-blue.svg )] ( https://juliadiff.org/ReverseDiff.jl/dev )
5
5
[ ![ Build status] ( https://github.com/JuliaDiff/ReverseDiff.jl/workflows/CI/badge.svg )] ( https://github.com/JuliaDiff/ReverseDiff.jl/actions )
6
6
[ ![ codecov.io] ( https://codecov.io/github/JuliaDiff/ReverseDiff.jl/coverage.svg?branch=master )] ( https://codecov.io/github/JuliaDiff/ReverseDiff.jl?branch=master )
Original file line number Diff line number Diff line change @@ -16,5 +16,5 @@ makedocs(;
16
16
)
17
17
18
18
deploydocs (;
19
- repo= " github.com/JuliaDiff/ReverseDiff.jl" , push_preview= true ,
19
+ repo= " github.com/JuliaDiff/ReverseDiff.jl.git " , push_preview= true ,
20
20
)
You can’t perform that action at this time.
0 commit comments