CI

Merge pull request #573 from mattpocock/matt/removed-unused-dependency #138

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install_deps	17s
lint	9s
typecheck	10s
test (18)	24s
build	17s
test (20)	22s
test (22)	24s
test_result	1s
	2m 4s