Repository navigation

Add hyperfine benchmarks for CLI prove command - #296

Closed

gabrielbosio wants to merge 21 commits into

mainfrom

feat/bench-prove

Closed

Add hyperfine benchmarks for CLI prove command#296
gabrielbosio wants to merge 21 commits into
mainfrom
feat/bench-prove

Commits on Feb 6, 2026
- Add hyperfine benchmarks for CLI prove command
  gabrielbosio
  committed
  e5cbd4d
- Fix review issues: workflow_dispatch, nullglob, jq dep, binary verification
  gabrielbosio
  committed
  a1de212
- Merge branch 'main' into feat/bench-prove
  gabrielbosio
  authored
  f2186ef
- Split build-binaries into separate jobs to fix workflow_dispatch
  gabrielbosio
  committed
  a1444bd
- Remove swapoff to avoid OOM kills during proving
  gabrielbosio
  committed
  fcd8bb2
- Add dry run to debug prove failure in CI
  gabrielbosio
  committed
  e45433f
- Remove dry run debug step
  gabrielbosio
  committed
  7642998
- Use vector as default prove benchmark program
  gabrielbosio
  committed
  5ef4d79
- Use ASM programs with bench_32k as default prove benchmark
  gabrielbosio
  committed
  12c4747
- Quote paths in hyperfine command to prevent shell injection
  gabrielbosio
  committed
  86d3e19
- Merge branch 'main' into feat/bench-prove
  gabrielbosio
  authored
  84f4523
- Use all_instructions_64 as default prove benchmark
  gabrielbosio
  committed
  5a34396
- Simplify workflow: matrix builds, artifacts, remove should-run job
  gabrielbosio
  committed
  817e71a
- Split matrix into separate jobs (matrix context not allowed in job-level if)
  gabrielbosio
  committed
  b46c642
- Merge branch 'main' into feat/bench-prove
  gabrielbosio
  authored
  29044a7
Commits on Feb 9, 2026
- Only comment on PR when prove benchmark regresses >5%
  gabrielbosio
  committed
  fe6e0fb
- Fix workflow_dispatch path and division by zero in regression check
  gabrielbosio
  committed
  8297738
- Set 1-day retention on ephemeral benchmark artifacts
  gabrielbosio
  committed
  594ba6f
- Merge branch 'main' into feat/bench-prove
  gabrielbosio
  authored
  473211c
- Remove --security flag from bench prove scripts
  gabrielbosio
  committed
  3116ec0
Commits on Feb 11, 2026
- Merge branch 'main' into feat/bench-prove
  MauroToscano
  authored
  f6779b2

Commits

Commits on Feb 6, 2026

Commits on Feb 9, 2026

Commits on Feb 11, 2026