Skip to content

Update Certora CLI Version#944

Merged
nlordell merged 1 commit intomainfrom
chore/update-certora-cli
Apr 10, 2025
Merged

Update Certora CLI Version#944
nlordell merged 1 commit intomainfrom
chore/update-certora-cli

Conversation

@nlordell
Copy link
Copy Markdown
Collaborator

☝️

@nlordell nlordell requested a review from a team as a code owner April 10, 2025 10:43
@nlordell nlordell requested review from akshay-ap, mmv08, remedcu and rmeissner and removed request for a team April 10, 2025 10:43
@nlordell nlordell merged commit fdd81be into main Apr 10, 2025
31 checks passed
@github-actions github-actions Bot locked and limited conversation to collaborators Apr 10, 2025
@nlordell nlordell deleted the chore/update-certora-cli branch April 10, 2025 13:25
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants