Skip to content
Certora

[Certora] Stay healthy liquidate #567

Sign in to view logs

[Certora] Stay healthy liquidate

[Certora] Stay healthy liquidate #567

Triggered via pull request September 26, 2024 15:22
@QGarcheryQGarchery
synchronize #684
certora/stay-healthy-liquidate
Status Failure
Total duration 17m 48s
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.