From d671666d10ed23d47f0c607310276a478cd57838 Mon Sep 17 00:00:00 2001 From: Daniel Rossier Date: Fri, 30 Jan 2026 12:23:36 +0100 Subject: [PATCH 1/2] Update deployment condition for GitHub Pages --- .github/workflows/documentation.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml index a7c07fa9e1..49330fcf41 100644 --- a/.github/workflows/documentation.yaml +++ b/.github/workflows/documentation.yaml @@ -14,7 +14,7 @@ jobs: sphinx-build doc/source doc/build - name: Deploy uses: peaceiris/actions-gh-pages@v3 - if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/master' }} + if: ${{ github.event_name == 'push' }} with: publish_branch: gh-pages github_token: ${{ secrets.GITHUB_TOKEN }} From 837cb7d3c8b181d2b9cd8a76d30b5899fa01e33b Mon Sep 17 00:00:00 2001 From: Daniel Rossier Date: Fri, 30 Jan 2026 12:28:05 +0100 Subject: [PATCH 2/2] Restrict deployment to pushes on main branch --- .github/workflows/documentation.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/documentation.yaml b/.github/workflows/documentation.yaml index 49330fcf41..be5753ca44 100644 --- a/.github/workflows/documentation.yaml +++ b/.github/workflows/documentation.yaml @@ -14,7 +14,7 @@ jobs: sphinx-build doc/source doc/build - name: Deploy uses: peaceiris/actions-gh-pages@v3 - if: ${{ github.event_name == 'push' }} + if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/main' }} with: publish_branch: gh-pages github_token: ${{ secrets.GITHUB_TOKEN }}