chore: cleanup of unused files

Layr-Labs · Aug 16, 2024 · 0174318 · 0174318
1 parent 4f9a6a3
commit 0174318
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 24 deletions.
diff --git a/.github/workflows/certora-prover-conf.yml b/.github/workflows/certora-prover-conf.yml
@@ -7,6 +7,7 @@ on:
       - testnet-holesky
       - mainnet
       - rewards-spec
+      - formal-verification*
   pull_request: {}
   workflow_dispatch: {}
 

diff --git a/certora/conf/rewardsCoordinatorWithoutSanity.conf b/certora/conf/rewardsCoordinatorWithoutSanity.conf
diff --git a/certora/harnesses/RewardsCoordinatorHarness.sol b/certora/harnesses/RewardsCoordinatorHarness.sol