Skip to content
CI

Merge pull request #140 from egraphs-good/update-rust-toolchain #600

Sign in to view logs

Merge pull request #140 from egraphs-good/update-rust-toolchain

Merge pull request #140 from egraphs-good/update-rust-toolchain #600

Run time

Learn about OS pricing on GitHub Actions
Job Run time
mypy
1m 7s
test 3.12
2m 2s
benchmark
7m 59s
test 3.11
2m 6s
docs
1m 45s
test 3.10
2m 2s
17m 1s