CI

Merge pull request #2 from o1-labs/setup-makefile #7

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-format	18s
check-format-md	11s
check-trailing-whitespace	4s
generate-spec (ubuntu-latest)	43s
check (macos-latest, beta)	1m 55s
check (ubuntu-latest, beta)	1m 2s
check (ubuntu-latest, stable)	1m 2s
generate-spec (macos-latest)	55s
check (macos-latest, stable)	2m 16s
	8m 26s