File tree Expand file tree Collapse file tree 4 files changed +13
-2
lines changed
Expand file tree Collapse file tree 4 files changed +13
-2
lines changed Original file line number Diff line number Diff line change 44 pull_request :
55 types : [closed]
66
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+
712jobs :
813 doc-preview-cleanup :
914 runs-on : ubuntu-latest
15+ permissions :
16+ contents : write
1017 steps :
1118 - name : Checkout gh-pages branch
1219 uses : actions/checkout@v4
Original file line number Diff line number Diff line change 5555 docs :
5656 name : Documentation
5757 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
5862 steps :
5963 - uses : actions/checkout@v4
6064 - uses : julia-actions/setup-julia@v1
Original file line number Diff line number Diff line change 11# ReverseDiff
22
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 )
44[ ![ Dev] ( https://img.shields.io/badge/docs-dev-blue.svg )] ( https://juliadiff.org/ReverseDiff.jl/dev )
55[ ![ Build status] ( https://github.com/JuliaDiff/ReverseDiff.jl/workflows/CI/badge.svg )] ( https://github.com/JuliaDiff/ReverseDiff.jl/actions )
66[ ![ 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(;
1616)
1717
1818deploydocs (;
19- repo= " github.com/JuliaDiff/ReverseDiff.jl" , push_preview= true ,
19+ repo= " github.com/JuliaDiff/ReverseDiff.jl.git " , push_preview= true ,
2020)
You can’t perform that action at this time.
0 commit comments