Skip to content

Conversation

@DhairyaSethi
Copy link
Member

No description provided.

@miguelmtzinf miguelmtzinf merged commit 37d9ca9 into certora/prover-726 Mar 26, 2025
3 checks passed
@miguelmtzinf miguelmtzinf deleted the tests/fix-nonce branch March 26, 2025 12:25
miguelmtzinf added a commit that referenced this pull request Mar 27, 2025
* fix: upgrade prover version to 7.26.0

* test: Fix test with memory accesses

* fix: Upgrade erc4626 tests dep

* test: fix deployer create prediction, always run in isolate mode (#94)

* fix: fix deployer create prediction, always run in isolate mode

* feat: upd ci

---------

Co-authored-by: Nissan Levi <[email protected]>
Co-authored-by: dhairya <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants