CI

Merge pull request #615 from konker/add-or-tee #211

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install_deps	16s
typecheck	8s
lint	6s
build	8s
test (18)	10s
test (20)	9s
test (22)	9s
test_result	1s
	1m 7s