Avatar for the egraphs-good user
egraphs-good
egglog
BlogDocsChangelog

GitHub Actions run

2 days ago 5da823b yihozhang-decomp pull_request

Compare

Base
Search a run
Head
Tree decomposition
#785
yihozhang-decomp
2 days ago
Wall TimeCPU Simulation
Compare
Suggested base runs: •
218 total
tests[math-microbenchmark]
benches/ci_benchmarking.rs
9.7 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
tests[proof_testing_unify]
benches/ci_benchmarking.rs
22.5 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
tests[cykjson]
benches/ci_benchmarking.rs
378.3 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
282.2 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
41 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
309 ms
tests[typeinfer]
benches/ci_benchmarking.rs
371.2 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
7.4 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
9.3 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
12.7 ms
tests[herbie]
benches/ci_benchmarking.rs
439.9 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
23.5 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
79 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
734.2 ms
tests[cykjson]
benches/ci_benchmarking.rs
514 ms
tests[typeinfer]
benches/ci_benchmarking.rs
324.6 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
79.3 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.9 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
1.9 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1 s
tests[herbie-tutorial]
benches/ci_benchmarking.rs
9.5 ms
tests[herbie]
benches/ci_benchmarking.rs
395.3 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs