Def BenchAction.formatPercent

Modification history

2025-12-02 19:39
scripts/bench_summary.lean
ci: decommission speedcenter (#32358) …
Deleted BenchAction.formatPercentView on Github →
2024-10-23 02:43
scripts/bench_summary.lean
feat(CI): add summary of benchmarking output (#16488) …
Added BenchAction.formatPercentView on Github →