CI

Merge pull request #115 from egraphs-good/lint-tests #539

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
docs	1m 22s
benchmark	8m 13s
mypy	53s
test 3.12	2m 1s
test 3.11	2m 2s
test 3.10	1m 56s
build macos	10m 31s
build linux	3m 17s
build windows	4m 7s
Release	0s
	34m 22s