diff --git a/.github/workflows/formal-verifiation.yml b/.github/workflows/formal-verifiation.yml
index 1d7e2ef14..3fc96cc36 100644
--- a/.github/workflows/formal-verifiation.yml
+++ b/.github/workflows/formal-verifiation.yml
@@ -42,6 +42,7 @@ jobs:
           sudo mv solc-static-linux /usr/local/bin/solc
           chmod +x /usr/local/bin/solc
       - name: Verify rule ${{ matrix.params }}
+        if: ${{ !contains(matrix.params, 'noCI') }}
         run: |
           touch certora/applyHarness.patch
           make -C certora munged
diff --git a/certora/scripts/Round1/sanity.sh b/certora/scripts/noCI/sanity.sh
similarity index 100%
rename from certora/scripts/Round1/sanity.sh
rename to certora/scripts/noCI/sanity.sh
diff --git a/certora/scripts/Round1/sanityGovernor.sh b/certora/scripts/noCI/sanityGovernor.sh
similarity index 100%
rename from certora/scripts/Round1/sanityGovernor.sh
rename to certora/scripts/noCI/sanityGovernor.sh
diff --git a/certora/scripts/Round1/sanityTokens.sh b/certora/scripts/noCI/sanityTokens.sh
similarity index 100%
rename from certora/scripts/Round1/sanityTokens.sh
rename to certora/scripts/noCI/sanityTokens.sh