DEBUG

.github/workflows/user-requested-benchmark.yml

@@ -1,6 +1,12 @@
+name: User-requested benchmarks
 on:
   issue_comment:
     types: [created]
+  workflow_dispatch:  # TODO: Remove this when this is in the default branch.
+    inputs:
+      pr_number:
+        required: true
+        type: number
 jobs:
   example_comment_pr:
     runs-on: ubuntu-latest
@@ -14,6 +20,7 @@ jobs:
         with:
           message: |
             Hello world ! :wave:
+          pr_number: ${{ inputs.pr_number }}
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
 
     # - name: Checkout benchmark repository