egraphs-good
egglog
BlogDocsChangelog

GitHub Actions run

1 day ago 337fe5b ezr-oflatt-refactor-proofs-4 pull_request

Compare

Base
Search a run
Head
Proofs refactors
#725
ezr-oflatt-refactor-proofs-4
1 day ago
CPU SimulationWall Time
Compare
Suggested base runs:

Skipped (190)

Benchmarks

tests[python_array_optimize]
benches/ci_benchmarking.rs
6.8 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.4 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.6 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
8.1 s
tests[herbie]
benches/ci_benchmarking.rs
271.3 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
8.7 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.4 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.6 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1 s
tests[extract-vec-bench]
benches/ci_benchmarking.rs
97 ms
tests[herbie]
benches/ci_benchmarking.rs
300.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
10.9 ms
tests[typeinfer]
benches/ci_benchmarking.rs
310.2 ms
tests[cykjson]
benches/ci_benchmarking.rs
321.9 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.5 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.5 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
731.7 ms
tests[typeinfer]
benches/ci_benchmarking.rs
278.3 ms
tests[cykjson]
benches/ci_benchmarking.rs
488.9 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
100.8 ms
© 2025 CodSpeed Technology
Home Terms Privacy Docs