Back to pull request #1020

Inline constants in type of free constant #1225

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
kind2-build (4.09.1, ubuntu-20.04)	8m 27s
kind2-build (4.09.1, macos-11)	14m 15s
	22m 42s