add github pages deploy action

barelyhuman · Apr 2, 2023 · 8c9c1d3 · 8c9c1d3
1 parent 2670665
commit 8c9c1d3
Showing 1 changed file with 19 additions and 0 deletions.
diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
@@ -0,0 +1,19 @@
+name: Docs
+on: [push]
+jobs:
+  build-docs:
+    concurrency: ci-${{ github.ref }}
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout 🛎️
+        uses: actions/checkout@v3
+
+      - name: Install and Build
+        run: make docs
+
+      - name: Deploy 🚀
+        uses: JamesIves/github-pages-deploy-action@v4.3.3
+        with:
+          token: ${{ secrets.GH_TOKEN }}
+          branch: gh-pages
+          folder: dist