flake

1000x speedup by evaluating branches lazily during beta reduction #9

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
call / static-analysis	36s
call / flake-check	28s
call / dead-code-analysis	40s
call / discover	25s
call / build (default)	1m 33s
call / build (docs)	59s
	4m 41s