From 9aa25ecc1acdf522452af126f46fa1310c39f21f Mon Sep 17 00:00:00 2001
From: Tobias Leinss <7684178+leinss@users.noreply.github.com>
Date: Thu, 27 Aug 2026 12:33:42 +0200
Subject: [PATCH] ci: let a manually triggered run actually deploy

The deploy job was gated on `github.event_name == 'push'`. A manual run
therefore built and then skipped the deploy, so the manual trigger could
not redeploy, which is the only reason it exists.

Gate on `!= 'pull_request'` instead. A pull request must still build
without publishing; every other trigger deploys, so adding a trigger
above cannot silently produce a build-only run again.
---
 .github/workflows/deploy.yaml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/deploy.yaml b/.github/workflows/deploy.yaml
index 8127942ef..586b924dc 100644
--- a/.github/workflows/deploy.yaml
+++ b/.github/workflows/deploy.yaml
@@ -54,7 +54,11 @@ jobs:
   deploy:
     name: Deploy to GitHub Pages
     needs: build
-    if: github.event_name == 'push'
+    # Everything except a pull request deploys. Written as a negation rather
+    # than a list of allowed events, so a trigger added above cannot silently
+    # build without deploying: `== 'push'` skipped this job on every manual
+    # run, which is the one case the manual trigger exists for.
+    if: github.event_name != 'pull_request'
     runs-on: ubuntu-latest
     steps:
       - name: Checkout Repository