CI

Merge pull request #221 from egraphs-good/dependabot/github_actions/a… #790

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
mypy	1m 13s
benchmark	6m 47s
test 3.12	1m 48s
docs	2m 28s
test 3.11	1m 34s
test 3.10	1m 22s
	15m 12s