fix: make Prover CI run correctly (#376)

Layr-Labs · Dec 15, 2023 · d42c101 · d42c101
1 parent 134c3e8
commit d42c101
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
@@ -51,8 +51,6 @@ jobs:
           chmod +x /usr/local/bin/solc
       - name: Verify rule ${{ matrix.params }}
         run: |
-          touch certora/applyHarness.patch
-          make -C certora munged
           bash ${{ matrix.params }}
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}