[codex] fold math microbenchmark into rust_api_benchmarking#846
Open
MilkBlock wants to merge 5 commits into
Open
[codex] fold math microbenchmark into rust_api_benchmarking#846MilkBlock wants to merge 5 commits into
MilkBlock wants to merge 5 commits into
CodSpeed HQ / CodSpeed Performance Analysis
completed
Apr 28, 2026 in 0s
Performance Regression: -5.41%
❌ 1 regressed benchmark
✅ 45 untouched benchmarks
🆕 2 new benchmarks
⏩ 190 skipped benchmarks1
⚠️ Please fix the performance issues or acknowledge them on CodSpeed.
Performance Changes
| Mode | Benchmark | BASE |
HEAD |
Efficiency | |
|---|---|---|---|---|---|
| 🆕 | WallTime | rust_rule_math_microbenchmark |
N/A | 10.8 s | N/A |
| ❌ | WallTime | tests[proof_testing_eqsat-basic] |
34.9 ms | 36.9 ms | -5.41% |
| 🆕 | Simulation | rust_rule_math_microbenchmark |
N/A | 10.2 s | N/A |
Comparing MilkBlock:codex/math-microbench-pr (e76512f) with main (88c4ea8)
Footnotes
-
190 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩
Loading