Skip to content
Halmos

Merge pull request #693 from morpho-org/certora/update-verif #72

Sign in to view logs

Merge pull request #693 from morpho-org/certora/update-verif

Merge pull request #693 from morpho-org/certora/update-verif #72

Triggered via push September 27, 2024 15:22
@MathisGDMathisGD
pushed 4a8ccc8
main
Status Failure
Total duration 43s
Artifacts –

halmos.yml

on: push
verify
32s
verify
Fit to window
Zoom out
Zoom in

Annotations

1 error
verify
Process completed with exit code 2.