diff --git a/.github/workflows/pages.yml.pending b/.github/workflows/pages.yml.pending
new file mode 100644
index 00000000..d723b9de
--- /dev/null
+++ b/.github/workflows/pages.yml.pending
@@ -0,0 +1,39 @@
+name: Pages
+
+on: push
+
+jobs:
+  build:
+    runs-on: 'ubuntu-latest'
+
+    steps:
+    - uses: actions/checkout@v3
+      with:
+        submodules: true
+
+    - uses: ammaraskar/sphinx-action@master
+      with:
+        docs-folder: "docs/"
+        build-command: "make html"
+
+    - uses: actions/upload-pages-artifact
+      with:
+        path: docs/_build/html/
+
+  deploy:
+    needs: build
+    runs-on: ubuntu-latest
+
+    permissions:
+      pages: write     # to deploy to Pages
+      id-token: write  # to verify the deployment originates from an appropriate source
+
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+
+    steps:
+    - name: Deploy to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4
+