egraphs-good
egglog
BlogDocsChangelog

GitHub Actions run

3 days ago ddf79c1 oflatt-proofs-7 pull_request

Compare

Base
Search a run
Head
Proof checker
#764
oflatt-proofs-7
3 days ago
CPU SimulationWall Time
Compare
Suggested base runs: • •

Skipped (192)

Benchmarks

tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.3 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
6.8 s
tests[python_array_optimize]
benches/ci_benchmarking.rs
8.4 s
tests[math-microbenchmark]
benches/ci_benchmarking.rs
8.5 s
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.4 s
tests[repro-665-set-union]
benches/ci_benchmarking.rs
1 s
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.8 s
tests[herbie]
benches/ci_benchmarking.rs
326.3 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
12.4 ms
tests[typeinfer]
benches/ci_benchmarking.rs
318.1 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
107.1 ms
tests[eggcc-extraction]
benches/ci_benchmarking.rs
2.5 s
tests[cykjson]
benches/ci_benchmarking.rs
313.8 ms
tests[stresstest_large_expr]
benches/ci_benchmarking.rs
1.7 s
tests[cykjson]
benches/ci_benchmarking.rs
487.5 ms
tests[repro-665-set-union]
benches/ci_benchmarking.rs
718.4 ms
tests[herbie-tutorial]
benches/ci_benchmarking.rs
9.8 ms
tests[herbie]
benches/ci_benchmarking.rs
288.9 ms
tests[extract-vec-bench]
benches/ci_benchmarking.rs
108.3 ms
tests[typeinfer]
benches/ci_benchmarking.rs
282.2 ms
© 2025 CodSpeed Technology
Home Terms Privacy Docs