Skip to content
Certora

[Certora] Stay healthy liquidate #569

Sign in to view logs

[Certora] Stay healthy liquidate

[Certora] Stay healthy liquidate #569

Triggered via pull request September 26, 2024 16:06
@QGarcheryQGarchery
synchronize #684
certora/stay-healthy-liquidate
Status Failure
Total duration 14m 7s
Artifacts –

certora.yml

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

Annotations

2 errors
verify (LibSummary)
Process completed with exit code 1.
verify (Health)
Process completed with exit code 1.