Certora Review #3
Triggered via pull request
September 23, 2024 09:48
Status
Success
Total duration
35m 26s
Artifacts
–
Annotations
30 warnings