Repository navigation

fix(tooling,#15905): pr-gate names timeout hits, fixes rerun remedy - #15912

Merged

myia-ai-01 merged 1 commit into

mainfrom

fix/15905-prgate-timeout-classification

Sep 13, 2026

Merged

fix(tooling,#15905): pr-gate names timeout hits, fixes rerun remedy#15912
myia-ai-01 merged 1 commit into
mainfrom
fix/15905-prgate-timeout-classification

Commits on Sep 13, 2026
- fix(tooling,#15905): pr-gate tells a timeout wall from an unknown-cause cancellation
  
  jsboige
  and
  claude
  committed
  a2e366d