Repository navigation

fix(exec): pause the project watcher during the gate and retry once on an infra exit - #451

Merged

MendixMau merged 6 commits into

release/v1.0from

fix/gate-watcher-race

Oct 17, 2026

Merged

fix(exec): pause the project watcher during the gate and retry once on an infra exit#451
MendixMau merged 6 commits into
release/v1.0from
fix/gate-watcher-race

Commits on Oct 16, 2026
- fix(exec): pause the project's watcher during the gate and retry once on an infra exit
  
  MendixMau
  and
  claude
  committed
  4ab3871
Commits on Oct 17, 2026
- Merge remote-tracking branch 'origin/release/v1.0' into HEAD
  MendixMau
  committed
  c4f98f4
- fix(exec): here-string instead of a pipe into grep -q in the gate CE check
  
  MendixMau
  and
  claude
  committed
  179ae3d
- fix(exec): exact watcher match, and resume a watcher left stopped by a killed exec.sh
  
  MendixMau
  and
  claude
  committed
  0c14d17
- fix(exec): a "<proj> copy" watcher is not this project's; record before stopping
  
  MendixMau
  and
  claude
  committed
  f4cc5ae
- Merge remote-tracking branch 'origin/release/v1.0' into HEAD
  MendixMau
  committed
  fd90628