CI

Merge pull request #108 from ZimoLiao/issue-107-routing-eval #381

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	7s
test (3.12)	1m 41s
test (3.10)	1m 37s
typecheck	22s
test (3.11)	1m 40s
	5m 27s