fix: Fix certora actions (#66)

aave · Oct 11, 2022 · 5640af3 · 5640af3
1 parent 46d4caf
commit 5640af3
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 9 deletions.
diff --git a/.github/workflows/certora-arbitrum.yaml b/.github/workflows/certora-arbitrum.yaml
@@ -3,11 +3,10 @@ name: certora-arbitrum
 on:
   push:
     branches:
-      - main
-      - l2-bridges-audit
+      - master
   pull_request:
     branches:
-      - main
+      - master
 
   workflow_dispatch:
 

diff --git a/.github/workflows/certora-optimism.yaml b/.github/workflows/certora-optimism.yaml
@@ -3,11 +3,10 @@ name: certora-optimism
 on:
   push:
     branches:
-      - main
-      - l2-bridges-audit
+      - master
   pull_request:
     branches:
-      - main
+      - master
 
   workflow_dispatch:
 

diff --git a/.github/workflows/certora-polygon.yaml b/.github/workflows/certora-polygon.yaml
@@ -3,11 +3,10 @@ name: certora-polygon
 on:
   push:
     branches:
-      - main
-      - l2-bridges-audit
+      - master
   pull_request:
     branches:
-      - main
+      - master
 
   workflow_dispatch: