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: