Skip to content
Foundry

Merge pull request #676 from morpho-org/certora/timeout-exact-math #1909

Sign in to view logs

Merge pull request #676 from morpho-org/certora/timeout-exact-math

Merge pull request #676 from morpho-org/certora/timeout-exact-math #1909

Run time

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