CI

when removing nodes, move future soft matches to end for more efficie… #147

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typecheck	11s
coverage	1m 19s
test	1m 7s
test-move-before	13s
	2m 50s