Skip to content
Certora

[Certora] Unlink Morpho on Timelock #379

Sign in to view logs

[Certora] Unlink Morpho on Timelock

[Certora] Unlink Morpho on Timelock #379

Re-run triggered November 30, 2024 14:31
@QGarcheryQGarchery
#431
certora/unlink-morpho
Status Failure
Total duration 5m 58s
Artifacts –

certora.yml

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

Annotations

2 errors
verify (Tokens)
Process completed with exit code 1.
verify (Liveness)
Process completed with exit code 1.