CI

Merge pull request #259 from egraphs-good/remove-unused-save #906

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy	1m 11s
docs	1m 27s
benchmark	2m 33s
test 3.13	1m 17s
test 3.12	1m 28s
test 3.11	1m 23s
test 3.10	1m 28s
	10m 47s