We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent c68b665 commit d3e7598Copy full SHA for d3e7598
.github/workflows/DocCleanup.yml
@@ -0,0 +1,26 @@
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
16
+ run: |
17
+ git config user.name "Documenter.jl"
18
+ git config user.email "[email protected]"
19
+ git rm -rf "previews/PR$PRNUM"
20
+ git commit -m "delete preview"
21
+ git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree})
22
+ env:
23
+ PRNUM: ${{ github.event.number }}
24
+ - name: Push changes
25
26
+ git push --force origin gh-pages-new:gh-pages
0 commit comments