File tree 3 files changed +30
-0
lines changed
3 files changed +30
-0
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@v2
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 "[email protected] "
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 1
1
[deps ]
2
2
Documenter = " e30172f5-a6a5-5a46-863b-614d45cd2de4"
3
+
4
+ [compat ]
5
+ Documenter = " 0.27"
Original file line number Diff line number Diff line change @@ -41,4 +41,5 @@ makedocs(
41
41
42
42
deploydocs (
43
43
repo = " github.com/lanl-ansi/PowerModels.jl.git" ,
44
+ push_preview = true ,
44
45
)
You can’t perform that action at this time.
0 commit comments