added erc1155ext branch to CI

pull/3478/head
Michael George 3 years ago
parent 371818f792
commit f4b2aff79e
  1. 1
      .github/workflows/verify.yml

@ -5,6 +5,7 @@ on:
branches: branches:
- main - main
- certora/erc20 - certora/erc20
- certora/erc1155ext
jobs: jobs:
verify: verify:

Loading…
Cancel
Save