From 07ac1030e775afc97d90dd9d1b258334b5d80f3c Mon Sep 17 00:00:00 2001 From: Hadrien Croubois Date: Thu, 3 Nov 2022 12:07:39 +0100 Subject: [PATCH] chmod -x certora/scripts/**/*.sh --- certora/scripts/noCI/Round1/verifyGovernor.sh | 0 certora/scripts/noCI/sanity/sanityGovernor.sh | 0 certora/scripts/noCI/sanity/sanityTokens.sh | 0 certora/scripts/passes/verifyERC1155Pausable.sh | 0 certora/scripts/passes/verifyERC1155Supply.sh | 0 certora/scripts/passes/verifyGovernor.sh | 0 6 files changed, 0 insertions(+), 0 deletions(-) mode change 100755 => 100644 certora/scripts/noCI/Round1/verifyGovernor.sh mode change 100755 => 100644 certora/scripts/noCI/sanity/sanityGovernor.sh mode change 100755 => 100644 certora/scripts/noCI/sanity/sanityTokens.sh mode change 100755 => 100644 certora/scripts/passes/verifyERC1155Pausable.sh mode change 100755 => 100644 certora/scripts/passes/verifyERC1155Supply.sh mode change 100755 => 100644 certora/scripts/passes/verifyGovernor.sh diff --git a/certora/scripts/noCI/Round1/verifyGovernor.sh b/certora/scripts/noCI/Round1/verifyGovernor.sh old mode 100755 new mode 100644 diff --git a/certora/scripts/noCI/sanity/sanityGovernor.sh b/certora/scripts/noCI/sanity/sanityGovernor.sh old mode 100755 new mode 100644 diff --git a/certora/scripts/noCI/sanity/sanityTokens.sh b/certora/scripts/noCI/sanity/sanityTokens.sh old mode 100755 new mode 100644 diff --git a/certora/scripts/passes/verifyERC1155Pausable.sh b/certora/scripts/passes/verifyERC1155Pausable.sh old mode 100755 new mode 100644 diff --git a/certora/scripts/passes/verifyERC1155Supply.sh b/certora/scripts/passes/verifyERC1155Supply.sh old mode 100755 new mode 100644 diff --git a/certora/scripts/passes/verifyGovernor.sh b/certora/scripts/passes/verifyGovernor.sh old mode 100755 new mode 100644