feat: add Certora Prover to m2-mainnet CI (#359)

Layr-Labs · Dec 4, 2023 · a60b034 · a60b034
1 parent f4beee6
commit a60b034
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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: {}