Repository navigation

Add FIFO work-queue claims with declarative selection - #65136

Closed

pelikhan wants to merge 5 commits into

mainfrom

pelikhan-work-queue-selection

Commits on Oct 2, 2026
- Add FIFO work queue claims and declarative selection
  
  pelikhan
  and
  Copilot
  committed
  e759887
Commits on Oct 3, 2026
- Model queue selection in TLA+ and upgrade coordinator protocol to v3
  
  pelikhan
  and
  Copilot
  committed
  65a4f24
- Merge remote-tracking branch 'origin/main' into pelikhan-work-queue-selection
  
  Copilot
  and
  gh-aw-bot
  authored
  9562230
- Address dispatch coordinator review feedback
  
  Copilot
  and
  gh-aw-bot
  authored
  e63d614
- Merge remote-tracking branch 'origin/main' into pelikhan-work-queue-selection
  
  Copilot
  and
  pelikhan
  authored
  17dcd99