CI

Merge pull request #261 from egraphs-good/dependabot/cargo/cargo-657c… #909

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
benchmark	5m 11s
docs	1m 49s
mypy	1m 27s
test 3.13	1m 38s
test 3.12	1m 47s
test 3.11	1m 48s
test 3.10	1m 44s
	15m 24s