Fix branch name

Certora · Jan 9, 2025 · ed89498 · ed89498
1 parent 0144b38
commit ed89498
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -3,10 +3,10 @@ name: Certora Prover Workflow
 on:
   push:
     branches:
-      - main
+      - ccip_gho
   pull_request:
     branches:
-      - main
+      - ccip_gho
   workflow_dispatch:
 
 jobs: