From c115f131017fe2b41b2e741afe28542a15a8da43 Mon Sep 17 00:00:00 2001
From: Brendan Ryan <brendan@brendanjryan.com>
Date: Tue, 31 Mar 2026 10:09:46 -0700
Subject: [PATCH] ci: allow manual runs for pr-audit workflow

---
 .github/workflows/pr-audit.yml | 19 ++++++++++++++++---
 1 file changed, 16 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/pr-audit.yml b/.github/workflows/pr-audit.yml
index 79f1a2e6..4843eefa 100644
--- a/.github/workflows/pr-audit.yml
+++ b/.github/workflows/pr-audit.yml
@@ -3,11 +3,24 @@ name: Pull request audit
 on:
   pull_request:
     types: [labeled]
+  workflow_dispatch:
+    inputs:
+      pr_number:
+        description: Pull request number to audit
+        required: true
+        type: number
+      sha:
+        description: Commit SHA to audit (defaults to the selected ref SHA)
+        required: false
+        type: string
 
 jobs:
   publish:
     runs-on: ubuntu-latest
-    if: github.event.label.name == 'cyclops'
+    if: github.event_name == 'workflow_dispatch' || github.event.label.name == 'cyclops'
+    env:
+      PR_NUMBER: ${{ github.event.pull_request.number || inputs.pr_number }}
+      PR_SHA: ${{ github.event.pull_request.head.sha || inputs.sha || github.sha }}
     steps:
       - name: Publish event
         run: |
@@ -24,8 +37,8 @@ jobs:
               "repository": "${{ github.repository }}",
               "event": "pr_audit",
               "data": {
-                "pr_number": ${{ github.event.pull_request.number }},
-                "sha": "${{ github.event.pull_request.head.sha }}"
+                "pr_number": ${{ env.PR_NUMBER }},
+                "sha": "${{ env.PR_SHA }}"
               }
             }')
           echo "HTTP status: $HTTP_CODE"