From f4b2aff79eda22d87dbcee0a390ae0ad5b95fc80 Mon Sep 17 00:00:00 2001
From: Michael George <mdgeorge@cs.cornell.edu>
Date: Mon, 6 Jun 2022 15:33:25 -0400
Subject: [PATCH] added erc1155ext branch to CI

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

diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml
index 6919609d0..2bf53082e 100644
--- a/.github/workflows/verify.yml
+++ b/.github/workflows/verify.yml
@@ -5,6 +5,7 @@ on:
     branches:
       - main
       - certora/erc20
+      - certora/erc1155ext
 
 jobs:
   verify: