CI

Merge pull request #109 from egraphs-good/change #503

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy	46s
docs	1m 22s
test 3.12	2m 37s
test 3.11	2m 19s
test 3.10	2m 13s
build linux	3m 9s
build macos	9m 45s
build windows	3m 59s
Release	0s
	26m 10s