Fix CI

makerdao · Sep 16, 2024 · 1e23f5f · 1e23f5f
1 parent a047354
commit 1e23f5f
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
@@ -44,6 +44,6 @@ jobs:
         run: pip3 install certora-cli-beta
 
       - name: Verify ${{ matrix.lockstake }}
-        run: make certora-${{ matrix.lockstake }} --wait_for_results all
+        run: make certora-${{ matrix.lockstake }} results=1
         env:
           CERTORAKEY: ${{ secrets.CERTORAKEY }}
diff --git a/Makefile b/Makefile
@@ -1,7 +1,7 @@
 PATH := ~/.solc-select/artifacts/solc-0.5.12:~/.solc-select/artifacts/solc-0.6.12:~/.solc-select/artifacts/solc-0.8.21:$(PATH)
-certora-urn                :; PATH=${PATH} certoraRun certora/LockstakeUrn.conf$(if $(rule), --rule $(rule),)
-certora-lsmkr              :; PATH=${PATH} certoraRun certora/LockstakeMkr.conf$(if $(rule), --rule $(rule),)
-certora-engine             :; PATH=${PATH} certoraRun certora/LockstakeEngine.conf$(if $(rule), --rule $(rule),) --exclude_rule wipe_revert wipeAll_revert
-certora-engine-wipe-revert :; PATH=${PATH} certoraRun certora/LockstakeEngine.conf --rule wipe_revert wipeAll_revert --prover_args "-rewriteMSizeAllocations true -depth 0"
-certora-engine-multicall   :; PATH=${PATH} certoraRun certora/LockstakeEngineMulticall.conf$(if $(rule), --rule $(rule),)
-certora-clipper            :; PATH=${PATH} certoraRun certora/LockstakeClipper.conf$(if $(rule), --rule $(rule),)
+certora-urn                :; PATH=${PATH} certoraRun certora/LockstakeUrn.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
+certora-lsmkr              :; PATH=${PATH} certoraRun certora/LockstakeMkr.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
+certora-engine             :; PATH=${PATH} certoraRun certora/LockstakeEngine.conf$(if $(rule), --rule $(rule),) --exclude_rule wipe_revert wipeAll_revert$(if $(results), --wait_for_results all,)
+certora-engine-wipe-revert :; PATH=${PATH} certoraRun certora/LockstakeEngine.conf --rule wipe_revert wipeAll_revert --prover_args "-rewriteMSizeAllocations true -depth 0"$(if $(results), --wait_for_results all,)
+certora-engine-multicall   :; PATH=${PATH} certoraRun certora/LockstakeEngineMulticall.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)
+certora-clipper            :; PATH=${PATH} certoraRun certora/LockstakeClipper.conf$(if $(rule), --rule $(rule),)$(if $(results), --wait_for_results all,)