Repository navigation

Windows: wait up to 1.5 s for the watcher before reporting changed files - #1009

Merged

ualtinok merged 4 commits into

mainfrom

land/windows-flush-wait

Oct 26, 2026

Merged

Windows: wait up to 1.5 s for the watcher before reporting changed files#1009
ualtinok merged 4 commits into
mainfrom
land/windows-flush-wait

Commits on Oct 26, 2026
- mason: wait up to 1.5s for the bash changed-files watcher ack on Windows
  
  ualtinok
  and
  alfonso-aft
  committed
  cc48a07
- mason: measure late acknowledgements apart from the Windows cap
  
  ualtinok
  and
  alfonso-aft
  committed
  24bda4f
- mason: keep the acknowledgement delay out of production code
  
  ualtinok
  and
  alfonso-aft
  committed
  16f2511
- search-quality descriptor for windows-flush-wait
  
  ualtinok
  and
  alfonso-aft
  committed
  a12fc09