From e146f6ab31d0e4630e8ab1cd8921f636cd382b1b Mon Sep 17 00:00:00 2001
From: Erwan Pannier <erwan.pannier@gmail.com>
Date: Sun, 24 Aug 2025 22:58:07 +0200
Subject: [PATCH] deploy pages

---
 .github/workflows/on-push.yml | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)

diff --git a/.github/workflows/on-push.yml b/.github/workflows/on-push.yml
index 6cb5e0a..217aa04 100644
--- a/.github/workflows/on-push.yml
+++ b/.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