Repository navigation

Dispatch the runs of a policy that were never ordered - #37

Merged

HanielUlises merged 7 commits into

executor/parallel-dispatch

Sep 22, 2026

Merged

Dispatch the runs of a policy that were never ordered#37
HanielUlises merged 7 commits into
rollingfrom
executor/parallel-dispatch

Commits on Sep 22, 2026
- A two-site survey, whose halves share nothing
  HanielUlises
  committed
  fb9f29b
- Dispatch the runs of a policy that were never ordered
  HanielUlises
  committed
  54499a2
- Document the two-site survey and what dispatching it together saves
  HanielUlises
  committed
  1c5c6fe
- Drop a set nothing reads
  HanielUlises
  committed
  7189fc2
- Keep the domain client out of the builder's header
  HanielUlises
  committed
  19f61b5
- Say the two halves of the test as two statements
  HanielUlises
  committed
  1a5d5c0
- Report the three runs the pass finds, and the seventeen seconds
  HanielUlises
  committed
  54cbe71