fix: turn grinder back on for now

AztecProtocol · Mar 3, 2025 · 7e4c9af · 7e4c9af
1 parent a447ad7
commit 7e4c9af
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci3.yml b/.github/workflows/ci3.yml
@@ -140,7 +140,7 @@ jobs:
 
   ci-grind:
     runs-on: ubuntu-latest
-    if: github.event_name == 'merge_group'
+    if: github.event_name == 'merge_group' || (github.event_name == 'push' && github.ref_name == 'master')
     strategy:
       matrix:
         number: [1, 2, 3, 4, 5]