Repository navigation

ci(v3): bundle recovery budget bump on fixed BinShim base - #1383

Merged

briansrls merged 4 commits into

mainfrom

recovery/binshim-clippy-budget

May 1, 2026

Merged

ci(v3): bundle recovery budget bump on fixed BinShim base#1383
briansrls merged 4 commits into
mainfrom
recovery/binshim-clippy-budget

Commits on May 1, 2026
- ci(v3): bump full-suite budget temporarily
  briansrls
  committed
  b2ec9d5
- ci(v3): give transitional full-suite budget headroom
  briansrls
  committed
  b444b5b
- WIP: R3 Substrate
  briansrls
  committed
  20a8d87
- Merge remote-tracking branch 'origin/main' into recovery/binshim-clippy-budget
  briansrls
  committed
  04f1d48