CI

Merge pull request #671 from ofershap/add-demo-gif #263

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install_deps	13s
build	14s
lint	8s
typecheck	15s
test (18)	14s
test (22)	13s
test (20)	11s
test_result	2s
	1m 30s