Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[Certora] Implement reviews suggestions #413

Merged
merged 4 commits into from
Apr 8, 2024
Merged

[Certora] Implement reviews suggestions #413

merged 4 commits into from
Apr 8, 2024

Conversation

QGarchery
Copy link
Contributor

@QGarchery QGarchery commented Apr 2, 2024 •
edited
Loading

This PR:

@QGarchery QGarchery self-assigned this Apr 2, 2024
@QGarchery QGarchery added the verif label Apr 2, 2024
@QGarchery QGarchery marked this pull request as ready for review April 2, 2024 14:04
@QGarchery QGarchery requested a review from MathisGD April 2, 2024 14:04
@QGarchery QGarchery merged commit 08b5962 into main Apr 8, 2024
20 checks passed
@QGarchery QGarchery deleted the certora/after-reviews branch April 8, 2024 10:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@MathisGD MathisGD MathisGD approved these changes

@MerlinEgalite MerlinEgalite MerlinEgalite approved these changes

Assignees

@QGarchery QGarchery

Labels
verif
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@QGarchery @MerlinEgalite @MathisGD