Add github action to deploy site on changes to documentation

edgedb · Nov 3, 2020 · 759a390 · 759a390
1 parent 1843325
commit 759a390
Showing 1 changed file with 15 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -0,0 +1,15 @@
+name: Deploy Documentation Changes
+
+on:
+  push:
+    paths:
+      - "docs/**"
+
+jobs:
+  deploy:
+    if: github.ref == 'refs/heads/master'
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Trigger vercel deploy hook
+        run: curl -X POST ${{ secrets.VERCEL_DOC_DEPLOY_URL_HOOK }}