[Certora] Quick refactor #590
Triggered via pull request
October 9, 2024 14:12
QGarchery
Status
Failure
Total duration
1h 8m 31s
Artifacts
–
Annotations
1 error
|
verify (StayHealthy)
Process completed with exit code 1.
|