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