chore: label to toggle benchmark (#345)

openvm-org · Aug 26, 2024 · a42d89d · a42d89d
1 parent 62f2e99
commit a42d89d
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 3 deletions.
diff --git a/.github/workflows/db.yml b/.github/workflows/db.yml
@@ -36,14 +36,18 @@ jobs:
 
   benchmark-rw:
     uses: ./.github/workflows/benchmark-call.yml
-    if: github.event.pull_request.draft == false
+    if: |
+      github.event.pull_request.draft == false &&
+      contains(github.event.pull_request.labels.*.name, 'run-benchmark')
     with:
       benchmark_name: single_rw
     secrets: inherit
 
   benchmark-filter:
     uses: ./.github/workflows/benchmark-call.yml
-    if: github.event.pull_request.draft == false
+    if: |
+      github.event.pull_request.draft == false &&
+      contains(github.event.pull_request.labels.*.name, 'run-benchmark')
     with:
       benchmark_name: single_filter
     secrets: inherit
diff --git a/.github/workflows/recursion.yml b/.github/workflows/recursion.yml
@@ -38,7 +38,9 @@ jobs:
 
   benchmark:
     uses: ./.github/workflows/benchmark-call.yml
-    if: github.event.pull_request.draft == false
+    if: |
+      github.event.pull_request.draft == false &&
+      contains(github.event.pull_request.labels.*.name, 'run-benchmark')
     with:
       benchmark_name: vm_verify_fibair
     secrets: inherit