diff --git a/certora/scripts/sanity.sh b/certora/scripts/sanityGovernor.sh
similarity index 100%
rename from certora/scripts/sanity.sh
rename to certora/scripts/sanityGovernor.sh