From b552b7dd8c8d2be422f01beffe8f225395bbf0b5 Mon Sep 17 00:00:00 2001
From: Krishnan Shankar <krishnans2006@gmail.com>
Date: Sun, 9 Jun 2024 02:13:52 -0400
Subject: [PATCH] Add deploy-docs workflow for Sphinx -> GitHub Pages
 deployment

---
 .github/workflows/deploy-docs.yml | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 .github/workflows/deploy-docs.yml

diff --git a/.github/workflows/deploy-docs.yml b/.github/workflows/deploy-docs.yml
new file mode 100644
index 00000000..1e0a35d1
--- /dev/null
+++ b/.github/workflows/deploy-docs.yml
@@ -0,0 +1,20 @@
+name: Deploy docs
+
+on:
+  push:
+    branches: [master]
+
+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
+      with:
+        documentation_path: ./docs/source