CI: Allow regenerating mina-benches baseline on PR manually

Author: volhovm

.github/workflows/benches-mina-prover-set-baseline.yml

@@ -1,9 +1,15 @@
 name: Bench mina circuits (set baseline master)
 
+# Runs on either pushes to master, or on manual call
+#
+# Please don't regenerate the data unless you REALLY know what you're doing, e.g. you had to regenerate
+# benchmark data and now the baselines changed.
 on:
   push:
     branches:
       - master
+  pull_request:
+    types: [labeled]
 
 env:
   OCAML_VERSION: "4.14"
@@ -12,6 +18,7 @@ env:
 
 jobs:
   bench-set-baseline:
+    if: github.event_name == 'push' || github.event.label.name == 'unsafe-benches-mina-reset-baseline'
     runs-on: ubuntu-latest
     name: Run benches
     steps: