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

GitHub Actions run

1 day ago b94829f oflatt-refactor-parallel pull_request

Compare

Base
Search a run
Head
Refactor parallelism to use local thread pool
#826
oflatt-refactor-parallel
1 day ago
Wall TimeCPU Simulation
Compare
Suggested base runs: •
218 total
tests[repro-665-set-union]
benches/ci_benchmarking.rs
777.7 ms
tests[typeinfer]
benches/ci_benchmarking.rs
285.2 ms
tests[proof_testing_unify]
benches/ci_benchmarking.rs
26.7 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
127.8 ms
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
314.4 ms
tests[python_array_optimize]
benches/ci_benchmarking.rs
6.4 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
10.3 s
tests[typeinfer]
benches/ci_benchmarking.rs
468.4 ms
tests[cykjson]
benches/ci_benchmarking.rs
382.5 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
15.8 ms
tests[herbie]
benches/ci_benchmarking.rs
377.8 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.2 s
tests[cykjson]
benches/ci_benchmarking.rs
532.2 ms
tests[math-microbenchmark]
benches/ci_benchmarking.rs
9.1 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.8 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
101.3 ms
tests[taylor51]
benches/ci_benchmarking.rs
5.3 s
tests[proof_testing_typecheck]
benches/ci_benchmarking.rs
265.3 ms
tests[taylor51]
benches/ci_benchmarking.rs
4.3 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1.2 s
tests[herbie]
benches/ci_benchmarking.rs
276.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
9.1 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
44.5 ms
tests[proof_testing_eqsat-basic]
benches/ci_benchmarking.rs
38.4 ms
© 2026 CodSpeed Technology
Home Terms Privacy Docs