Structure BenchAction.Bench

Modification history

2025-12-02 19:39

scripts/bench_summary.lean

ci: decommission speedcenter (#32358) …

Deleted BenchAction.Bench View on Github →

2024-11-07 21:30

scripts/bench_summary.lean

fix: percentages in bench report (#18732) …

Modified BenchAction.Bench View on Github →

2024-10-23 02:43

scripts/bench_summary.lean

feat(CI): add summary of benchmarking output (#16488) …

Added BenchAction.Bench View on Github →