From 154a1515188423ebf6683509eee8827f669a9269 Mon Sep 17 00:00:00 2001
From: teryanarmen <61996358+teryanarmen@users.noreply.github.com>
Date: Wed, 15 Jun 2022 14:31:28 -0700
Subject: [PATCH] Update verify.yml, adding master branch

---
 .github/workflows/verify.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index 6cd064c64..2abea07e5 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/verify.yml
@@ -3,6 +3,7 @@ name: Certora
 on:
   push:
     branches:
+      - master
       - main
       - certora/erc20
       - certora/erc1155ext