diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index 2bf53082e..0844e8ee9 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -46,13 +46,13 @@ jobs: matrix: script: - - verifyTimelock.sh - - verifyERC1155.sh - - verifyERC20FlashMint.sh - - verifyERC20Wrapper.sh - - verifyAccessControl.sh - - verifyERC20Votes.sh "checking ERC20Votes.spec on ERC20Votes.sol" - - verifyERC721Votes.sh "checking ERC721Votes.spec on draft-ERC721Votes.sol and Votes.sol" + - old/verifyTimelock.sh + - old/verifyERC1155.sh + - old/verifyERC20FlashMint.sh + - old/verifyERC20Wrapper.sh + - old/verifyAccessControl.sh + - old/verifyERC20Votes.sh "checking ERC20Votes.spec on ERC20Votes.sol" + - old/verifyERC721Votes.sh "checking ERC721Votes.spec on draft-ERC721Votes.sol and Votes.sol"