Foundry

Merge pull request #722 from morpho-org/certora/simplify-summary #2093

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
forge-test (slow)	2m 37s
forge-test (fast)	30s
	3m 7s