Skip to content

Conversation

@miguelmtzinf
Copy link
Collaborator

No description provided.

@miguelmtzinf miguelmtzinf requested a review from foodaka as a code owner March 24, 2025 16:44
@miguelmtzinf miguelmtzinf merged commit c5bdb40 into main Mar 27, 2025
15 checks passed
@miguelmtzinf miguelmtzinf deleted the certora/prover-726 branch March 27, 2025 08:59
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.

4 participants