Deploy Pages

.github/workflows/on-push.yml

@@ -190,3 +190,30 @@ jobs:
     - name: Build documentation
       run: |
         make docs-build
+        # create docs in html/
+      # From https://github.com/marketplace/actions/sphinx-build
+    - uses: actions/upload-pages-artifact@v3
+      with:
+        path: docs/_build/html/
+
+  # Deployment job.
+  deploy:
+    needs: docs-build
+
+    # Deploy only when the main branch is pushed.
+    if: github.ref == 'refs/heads/main' && github.event_name == 'push'
+
+    # Grant GITHUB_TOKEN the permissions required to make a Pages deployment.
+    permissions:
+      contents: read
+      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 }}
+    runs-on: ubuntu-latest
+    steps:
+    - name: Deploy to GitHub Pages
+      id: deployment
+      uses: actions/deploy-pages@v4