yet another try

.github/workflows/docs.yml

@@ -4,35 +4,15 @@ on:
     branches:
     - docs
 
-permissions:
-  id-token: write
-  pages: write
-
 jobs:
-  docs:
-    #environment:
-    #  name: github-pages
-    #  url: ${{steps.deployment.outputs.page_url}}
-    name: Docs
-    runs-on: ubuntu-latest
+  pages:
+    runs-on: ubuntu-20.04
+    environment:
+      name: github-pages
+      url: ${{ steps.deployment.outputs.page_url }}
+    permissions:
+      pages: write
+      id-token: write
     steps:
-      - name: Checkout
-        uses: actions/checkout@v4
-      - name: Install Python
-        uses: actions/setup-python@v1
-        with:
-          python-version: 3.8
-      - name: Install requirements
-        run: |
-          pip3 install sphinx-rtd-theme
-      - name: Build docs
-        run: |
-          cd docs
-          make html
-      - uses: actions/upload-artifact@v4
-        with:
-          name: DocumentationHTML
-          path: docs/_build/html/
-      - name: Deploy
-        if: success()
-        uses: actions/deploy-pages@v2
+    - id: deployment
+      uses: sphinx-notes/pages@v3