From 7e4c9af7f31ecc868b21c40b0b2da4120edaa8e8 Mon Sep 17 00:00:00 2001 From: ludamad Date: Mon, 3 Mar 2025 08:43:16 -0500 Subject: [PATCH] fix: turn grinder back on for now --- .github/workflows/ci3.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/ci3.yml b/.github/workflows/ci3.yml index f59b5d87a80..9cfec4b5cb1 100644 --- 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]