Repository navigation

Comment benchmark results on pull requests - #1529

Merged

jprendes merged 12 commits into

hyperlight-dev:mainfrom

jprendes:benchmark-prs

Sep 29, 2026

Merged

Comment benchmark results on pull requests#1529
jprendes merged 12 commits into
hyperlight-dev:mainfrom
jprendes:benchmark-prs

Commits on Sep 29, 2026
- Add hyperlight-ci crate for benchmark orchestration and reporting
  jprendes
  committed
  8f9326c
- Integrate hyperlight-ci into CI workflows and Just recipes
  jprendes
  committed
  ca751d6
- feat(ci): filter benchmark reports through a config file
  jprendes
  committed
  1e6792e
- feat(ci): hold a sandbox resident while benchmarking
  jprendes
  committed
  5e9a7e6
- feat(ci): record and read what each benchmark run measured
  jprendes
  committed
  64482ef
- feat(ci): report the benchmarks of a CI run
  jprendes
  committed
  8c35756
- Compare a pull request with where it branched
  jprendes
  committed
  99b3d7d
- Report every configuration of a run at once
  jprendes
  committed
  db1e10f
- Report the benchmarks a release carries
  jprendes
  committed
  dc5840c
- Say which commits a benchmark report covers
  jprendes
  committed
  8093e99
- Choose the reported benchmarks from eleven CI runs
  jprendes
  committed
  5d3a602
- Choose what counts as a change when reporting
  jprendes
  committed
  3d6f053