Certora #3
Triggered via pull request
January 17, 2024 15:18
Status
Cancelled
Total duration
18m 2s
Artifacts
–
Annotations
6 errors and 14 warnings