Build Tools

Merge pull request #8 from Certora/oz/release #71

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-linux	1h 52m 9s
build-mac-intel	1h 51m 27s
build-mac-arm	1h 2m 11s
release	29s
	4h 46m 16s