From 9708bc03974f139a0648df69bfe114a68a92fa5c Mon Sep 17 00:00:00 2001 From: teryanarmen Date: Wed, 15 Jun 2022 14:12:04 -0700 Subject: [PATCH] undo script changes --- .github/workflows/verify.yml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index ce58c95d4..6cd064c64 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -46,13 +46,13 @@ jobs: matrix: script: - - old/verifyTimelock.sh - - old/verifyERC1155.sh +# - 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" +# - 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" - Round3/verifyERC1155Burnable.sh - Round3/verifyERC1155Supply.sh - Round3/verifyERC1155Pausable.sh