Certora Review #31
Triggered via pull request
September 8, 2024 22:10
Status
Cancelled
Total duration
1m 11s
Artifacts
–
Annotations
28 errors