Certora Review #5
Triggered via pull request
September 30, 2024 19:58
Status
Success
Total duration
21m 41s
Artifacts
–
Annotations
32 warnings