update: add workflow_dispatch trigger to test FluxMLBenchmarks.jl more conveniently

Author: skyleaworlder

.github/workflows/BenchmarkTrigger.yml

@@ -3,16 +3,27 @@ name: Benchmark Trigger
 on:
   pull_request:
     types: [ labeled ]
+  workflow_dispatch:
+    inputs:
+      pr_id:
+        type: string
+        description: id of the pull request that triggers this workflow
+      target_url:
+        type: string
+        description: url of target
+      baseline_url:
+        type: string
+        description: url of baseline
 
 jobs:
   benchmark_trigger:
     if: ${{ github.event.label.name == 'benchmark' }}
     runs-on: ubuntu-latest
     env:
       REPOSITORY: ${{ github.event.repository.full_name }}
-      PR_ID: ${{ github.event.pull_request.number }}
-      TARGET_URL: ${{ format("{0}#{1}", github.event.pull_request.head.html_url, github.event.pull_request.head.sha) }}
-      BASELINE_URL: ${{ format("{0}#{1}"", github.event.pull_request.base.repo.html_url, github.event.pull_request.base.sha) }}
+      PR_ID: ${{ github.event.inputs.pr_id || github.event.pull_request.number }}
+      TARGET_URL: ${{ github.event.inputs.target_url || format("{0}#{1}", github.event.pull_request.head.html_url, github.event.pull_request.head.sha) }}
+      BASELINE_URL: ${{ github.event.inputs.baseline_url || format("{0}#{1}"", github.event.pull_request.base.repo.html_url, github.event.pull_request.base.sha) }}
     steps:
       - uses: benc-uk/workflow-dispatch@v1
         with: