From e76144b18275f75cbe406924ababf7e1b1a2a616 Mon Sep 17 00:00:00 2001 From: James Rosewell Date: Thu, 17 Sep 2026 01:00:19 +0100 Subject: [PATCH] CI: Let the pull request workflow be dispatched as a dry run The workflow reads inputs.dryrun but declares no such input, so a manual dispatch is refused when the input is given and runs as a live merge when it is not. Every other repository's pull request workflow declares the input, so this one is brought into line. --- .github/workflows/pull-requests.yml | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/.github/workflows/pull-requests.yml b/.github/workflows/pull-requests.yml index 9afd4177..e7be0018 100644 --- a/.github/workflows/pull-requests.yml +++ b/.github/workflows/pull-requests.yml @@ -2,6 +2,10 @@ name: Pull Requests on: workflow_dispatch: + inputs: + dryrun: + type: boolean + default: false jobs: PullRequests: