From d42c101fdeaa2ea1bdf056560b85dbc95df2000e Mon Sep 17 00:00:00 2001
From: ChaoticWalrus <93558947+ChaoticWalrus@users.noreply.github.com>
Date: Fri, 15 Dec 2023 12:31:05 -0800
Subject: [PATCH] fix: make Prover CI run correctly (#376)

---
 .github/workflows/certora-prover.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/certora-prover.yml b/.github/workflows/certora-prover.yml
index 71d32962a..868addac1 100644
--- 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 }}