filter noCI on script listing

.github/workflows/formal-verifiation.yml

@@ -17,7 +17,7 @@ jobs:
     steps:
       - uses: actions/checkout@v2
       - id: set-matrix
-        run: echo ::set-output name=matrix::$(ls certora/scripts/{,**}/*.sh | jq -Rsc 'split("\n")[:-1]')
+        run: echo ::set-output name=matrix::$(ls certora/scripts/{,**}/*.sh | grep -v '\WnoCI\W' | jq -Rsc 'split("\n")[:-1]')
 
   verify:
     runs-on: ubuntu-latest
@@ -42,7 +42,6 @@ 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