egraphs-good
egglog
BlogDocsChangelog

GitHub Actions run

3 months ago dc66571 MilkBlock:im_main pull_request

Compare

Base
Search a run
Head
struct LazyMapOfIndexSet:
#708
MilkBlock:im_main
3 months ago
CPU SimulationWall Time
Compare
Suggested base runs: •
210 total
tests[repro-querybug4]
benches/ci_benchmarking.rs
895.9 µs
tests[push-pop]
benches/ci_benchmarking.rs
870.2 µs
tests[cyk]
benches/ci_benchmarking.rs
27.1 ms
tests[repro-querybug2]
benches/ci_benchmarking.rs
859.2 µs
tests[naturals]
benches/ci_benchmarking.rs
5.9 ms
tests[rw-analysis]
benches/ci_benchmarking.rs
35.8 ms
tests[test-combined]
benches/ci_benchmarking.rs
2.1 ms
tests[math]
benches/ci_benchmarking.rs
35.6 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
tests[before-proofs]
benches/ci_benchmarking.rs
2.7 ms
tests[multiset]
benches/ci_benchmarking.rs
4.4 ms
tests[eqsolve]
benches/ci_benchmarking.rs
27.6 ms
tests[i64]
benches/ci_benchmarking.rs
299.4 µs
tests[typecheck]
benches/ci_benchmarking.rs
10 ms
tests[pathproof]
benches/ci_benchmarking.rs
2 ms
tests[intersection]
benches/ci_benchmarking.rs
4.7 ms
tests[resolution]
benches/ci_benchmarking.rs
6.5 ms
tests[eqsat-basic-multiset]
benches/ci_benchmarking.rs
5.3 ms
tests[f64]
benches/ci_benchmarking.rs
1.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
14.1 ms
tests[repro-new-backend-delete]
benches/ci_benchmarking.rs
523.4 µs
tests[repro-querybug]
benches/ci_benchmarking.rs
1.3 ms
tests[repro-unsound]
benches/ci_benchmarking.rs
315.2 ms
tests[map]
benches/ci_benchmarking.rs
795.7 µs
tests[repro-new-backend-prims]
benches/ci_benchmarking.rs
871.9 µs
© 2026 CodSpeed Technology
Home Terms Privacy Docs