Merge pull request #204 from safe-global/feature-169-rename-master-to…

…-main [#169] Change branch name to main in certora.yml
safe-global · Jan 12, 2024 · 145c874 · 145c874
2 parents 0c326be + 10e5fff
commit 145c874
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/**