Skip to content
Halmos

Merge pull request #697 from morpho-org/certora/timeout-stayhealthy #94

Sign in to view logs

Merge pull request #697 from morpho-org/certora/timeout-stayhealthy

Merge pull request #697 from morpho-org/certora/timeout-stayhealthy #94

Triggered via push October 23, 2024 07:03
@MathisGDMathisGD
pushed f9c9604
main
Status Success
Total duration 10m 21s
Artifacts –

halmos.yml

on: push
verify
10m 11s
verify
Fit to window
Zoom out
Zoom in