Merge pull request #421 from morpho-org/certora/fix-timeouts #1247

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Compilation (without IR)	49s
Compilation (via IR)	48s
Tests (slow)	2m 24s
Tests (fast)	1m 23s
	5m 24s