ci: change certora prover to run on main (#1319)

bowenli86 · web-flow · commit 52c8e8408acb · 2025-04-17T15:39:22.000-07:00
**Motivation:**

change certora prover to run on main

**Modifications:**

change certora prover to run on main

**Result:**

change certora prover to run on main
diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
@@ -5,7 +5,7 @@ on:
   pull_request:
     types: [closed]
     branches:
-      - dev
+      - main
   
   # Run on any pushes to certora/* branches
   push:
