Skip to content

Merge pull request #77 from morpho-org/feat/lif-restriction #148

Merge pull request #77 from morpho-org/feat/lif-restriction

Merge pull request #77 from morpho-org/feat/lif-restriction #148

Triggered via push October 7, 2024 08:06
Status Failure
Total duration 8m 45s
Billable time 19m
Artifacts

certora.yml

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

Annotations

1 error
verify (Liveness)
Process completed with exit code 1.