CI

Merge pull request #103 from egraphs-good/pre-commit-ci-update-config #488

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test 3.12	2m 1s
docs	1m 37s
test 3.11	2m 21s
mypy	48s
test 3.10	2m 31s
build linux	3m 18s
build macos	6m 45s
build windows	4m 26s
Release	0s
	23m 47s