Repository navigation

fix(scripts): give each package a time budget - #36

Merged

noctuum merged 3 commits into

mainfrom

fix/time-budgets

Oct 15, 2026

Merged

fix(scripts): give each package a time budget#36
noctuum merged 3 commits into
mainfrom
fix/time-budgets

Commits on Oct 15, 2026
- fix(scripts): give each package a time budget
  noctuum
  committed
  ec00bf2
- fix(workflow): fail closed in the Hand over step
  noctuum
  committed
  510fb23
- fix(tests): count a zombie child as ended
  noctuum
  committed
  5e3e655