Skip to content

[Certora] Stay healthy liquidate #583

[Certora] Stay healthy liquidate

[Certora] Stay healthy liquidate #583

Triggered via pull request September 30, 2024 09:36
Status Failure
Total duration 13m 43s
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.