Skip to content

[Certora] Stay healthy liquidate #585

[Certora] Stay healthy liquidate

[Certora] Stay healthy liquidate #585

Triggered via pull request September 30, 2024 14:07
Status Failure
Total duration 1h 7m 33s
Artifacts

certora.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify (StayHealthy)
Process completed with exit code 1.