CI

Merge pull request #122 from egraphs-good/preview-format #548

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmark	8m 27s
docs	1m 32s
mypy	1m 7s
test 3.12	2m 19s
test 3.11	2m 4s
test 3.10	2m 1s
build macos	5m 7s
build windows	4m 11s
build linux	3m 17s
Release	0s
	30m 5s