rolling-release

Add a missing axiom specifying the Output associated type for a closu… #10

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build (macos)	4m 6s
build (windows)	9m 33s
build (linux)	5m 6s
build (macos-x86_64)	14m 9s
publish	23s
	33m 17s