[#169] Change branch name to main in certora.yml

safe-global · Jan 15, 2024 · 5158a77 · 5158a77
1 parent d956a8f
commit 5158a77
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -3,12 +3,12 @@ name: certora
 on:
   push:
     branches:
-      - master
+      - main
     paths:
       - modules/4337/**
   pull_request:
     branches:
-      - master
+      - main
     paths:
       - modules/4337/**