From 5640af3e42906b910c810cb6451990c003173351 Mon Sep 17 00:00:00 2001
From: miguelmtz <36620902+miguelmtzinf@users.noreply.github.com>
Date: Tue, 11 Oct 2022 19:12:45 +0200
Subject: [PATCH] fix: Fix certora actions (#66)

---
 .github/workflows/certora-arbitrum.yaml | 5 ++---
 .github/workflows/certora-optimism.yaml | 5 ++---
 .github/workflows/certora-polygon.yaml  | 5 ++---
 3 files changed, 6 insertions(+), 9 deletions(-)

diff --git a/.github/workflows/certora-arbitrum.yaml b/.github/workflows/certora-arbitrum.yaml
index 1860f4a..2a7d744 100644
--- 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
index b3cc2fe..459f39c 100644
--- 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
index b5f20a6..381efdd 100644
--- 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: