Enable previews of docs builds (#422)

JuliaDSP · Apr 28, 2021 · 2bd197d · 2bd197d
1 parent 70b925d
commit 2bd197d
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/.github/workflows/delete-preview.yml b/.github/workflows/delete-preview.yml
@@ -0,0 +1,18 @@
+name: Delete preview deployment
+
+on:
+  pull_request:
+    types: [ closed ]
+jobs:
+  delete-preview:
+    name: Delete preview deployment
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          ref: gh-pages
+      - run: rm -rf previews/PR${{ github.event.number }}
+      - uses: stefanzweifel/git-auto-commit-action@v4
+        with:
+          commit_message: 'Delete preview of PR#${{ github.event.number }}'
+          branch: gh-pages
diff --git a/docs/make.jl b/docs/make.jl
@@ -24,4 +24,5 @@ deploydocs(
     target = "build",
     deps   = nothing,
     make   = nothing,
+    push_preview = true,
 )