CI

Merge pull request #108 from egraphs-good/change #501

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test 3.12	3m 45s
test 3.11	3m 40s
mypy	2m 20s
docs	2m 44s
test 3.10	3m 31s
build linux	3m 4s
build windows	4m 20s
build macos	9m 36s
Release	0s
	33m 0s