Merge branch 'main' of github.com:buvis/scripts

buvis · Aug 22, 2024 · 0ca725e · 0ca725e
2 parents d1596d3 + 292957e
commit 0ca725e
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/.github/workflows/deploy-docs b/.github/workflows/deploy-docs
@@ -0,0 +1,17 @@
+name: Deploy Sphinx documentation to Pages
+
+on:
+  push:
+    branches: [main]
+jobs:
+  pages:
+    runs-on: ubuntu-20.04
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
+    steps:
+    - id: deployment
+      uses: sphinx-notes/pages@v3