Skip to content

[Certora] Stay healthy liquidate #587

[Certora] Stay healthy liquidate

[Certora] Stay healthy liquidate #587

Triggered via pull request September 30, 2024 14:13
Status Failure
Total duration 1h 6m 4s
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.