Skip to content
Foundry

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

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 #1993

Run time

Learn about OS pricing on GitHub Actions
Job Run time
forge-test (slow)
2m 12s
forge-test (fast)
26s
2m 38s