echo ok

paradigmxyz · Sep 14, 2023 · 2d0badf · 2d0badf
1 parent 33481cc
commit 2d0badf
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/.github/workflows/bench.yml b/.github/workflows/bench.yml
@@ -58,3 +58,11 @@ jobs:
         shell: 'script -q -e -c "bash {0}"' # required to workaround /dev/tty not being available
         run: |
           ./pr/.github/scripts/compare_iai.sh
+
+  bench-success:
+    if: always()
+    name: bench success
+    runs-on: ubuntu-20.04
+    steps:
+      # Note: This check is a dummy because we don't have any bench checks enabled.
+      - run: echo OK.