File tree Expand file tree Collapse file tree 4 files changed +28
-3
lines changed Expand file tree Collapse file tree 4 files changed +28
-3
lines changed Original file line number Diff line number Diff line change
1
+ name : Doc Preview Cleanup
2
+
3
+ on :
4
+ pull_request :
5
+ types : [closed]
6
+
7
+ jobs :
8
+ doc-preview-cleanup :
9
+ runs-on : ubuntu-latest
10
+ steps :
11
+ - name : Checkout gh-pages branch
12
+ uses : actions/checkout@v4
13
+ with :
14
+ ref : gh-pages
15
+ - name : Delete preview and history + push changes
16
+ run : |
17
+ if [ -d "previews/PR$PRNUM" ]; then
18
+ git config user.name "Documenter.jl"
19
+ git config user.email "documenter@juliadocs.github.io"
20
+ git rm -rf "previews/PR$PRNUM"
21
+ git commit -m "delete preview"
22
+ git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
23
+ git push --force origin gh-pages-new:gh-pages
24
+ fi
25
+ env :
26
+ PRNUM : ${{ github.event.number }}
Original file line number Diff line number Diff line change 28
28
Pkg.Registry.update()
29
29
Pkg.develop(PackageSpec(path=pwd()))
30
30
Pkg.instantiate()
31
- - uses : julia-actions/julia-docdeploy@releases/ v1
31
+ - uses : julia-actions/julia-docdeploy@v1
32
32
env :
33
33
DOCUMENTER_KEY : ${{ secrets.DOCUMENTER_KEY }}
Original file line number Diff line number Diff line change @@ -3,4 +3,4 @@ BinaryBuilderBase = "7f725544-6523-48cd-82d1-3fa08ff4056e"
3
3
Documenter = " e30172f5-a6a5-5a46-863b-614d45cd2de4"
4
4
5
5
[compat ]
6
- Documenter = " 0.27 "
6
+ Documenter = " 1 "
Original file line number Diff line number Diff line change @@ -17,7 +17,6 @@ makedocs(
17
17
" Reference" => " reference.md" ,
18
18
],
19
19
],
20
- strict = true ,
21
20
)
22
21
23
22
deploydocs (
You can’t perform that action at this time.
0 commit comments