Repository navigation

Recompile only what a PR push changed, and measure changes from current main - #821

Open

Vilin97 wants to merge 5 commits into

mainfrom

vasil/incremental-pr-builds

Open

Recompile only what a PR push changed, and measure changes from current main#821
Vilin97 wants to merge 5 commits into
mainfrom
vasil/incremental-pr-builds

Commits on Nov 14, 2026
- Slim Lake setup files before CI caches and validates the pool build
  
  Vilin97
  and
  claude
  committed
  78c3ad8
- Drop artifact paths from slimmed setup files
  
  Vilin97
  and
  claude
  committed
  103fe79
- Test that Lake replays and rebuilds correctly after slimming
  
  Vilin97
  and
  claude
  committed
  e4934b4
- Recompile only what a PR push changed, and measure changes from current main
  
  Vilin97
  and
  claude
  committed
  53136ce
Commits on Nov 15, 2026
- Merge remote-tracking branch 'origin/main' into vasil/incremental-pr-builds
  Vilin97
  committed
  149ef6b