diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
index e1b3747ee..f12e25c5a 100644
--- a/.github/workflows/certora-prover.yml
+++ b/.github/workflows/certora-prover.yml
@@ -6,7 +6,7 @@ on:
       - master
       - release-v*
       - formal-verification
-      - fix-ci-errors
+      - m2-mainnet
   pull_request: {}
   workflow_dispatch: {}