From c2652c804ad2eab8a43bcbe9598778e97096a0d6 Mon Sep 17 00:00:00 2001 From: Jean-Louis Leroy Date: Wed, 15 Jul 2026 18:27:15 -0400 Subject: [PATCH] CI: gate docs deploy on triggering_actor, not repository_owner The GitHub Pages deploy step is guarded by github.repository_owner == 'jll63', which is always true for the fork regardless of who triggered the run. As a result the deploy fired on PRs opened by outside contributors and failed on missing permissions. Key the condition on github.triggering_actor so only runs initiated by jll63 deploy; other actors' runs skip the step cleanly. Co-Authored-By: Claude Opus 4.8 --- .github/workflows/ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 99e8d8ac..4f499c09 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -125,5 +125,5 @@ jobs: path: doc/html - name: Deploy to GitHub Pages (jll63) - if: matrix.os == 'ubuntu-latest' && github.repository_owner == 'jll63' + if: matrix.os == 'ubuntu-latest' && github.triggering_actor == 'jll63' uses: actions/deploy-pages@v4