From 8b1042371a72d2e2273e01bd6a4725bdd9315a39 Mon Sep 17 00:00:00 2001
From: Hadrien Croubois <hadrien.croubois@gmail.com>
Date: Fri, 23 Sep 2022 11:43:33 +0200
Subject: [PATCH] remove some scripts from CI run

---
 .github/workflows/formal-verifiation.yml           | 1 +
 certora/scripts/{Round1 => noCI}/sanity.sh         | 0
 certora/scripts/{Round1 => noCI}/sanityGovernor.sh | 0
 certora/scripts/{Round1 => noCI}/sanityTokens.sh   | 0
 4 files changed, 1 insertion(+)
 rename certora/scripts/{Round1 => noCI}/sanity.sh (100%)
 rename certora/scripts/{Round1 => noCI}/sanityGovernor.sh (100%)
 rename certora/scripts/{Round1 => noCI}/sanityTokens.sh (100%)

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