CI

Merge pull request #212 from egraphs-good/interactive-visualizer #768

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmark	6m 13s
mypy	1m 15s
test 3.12	1m 50s
docs	2m 24s
test 3.11	1m 36s
test 3.10	1m 35s
	14m 53s