Avoid infinite loop on a job that has already ended

pmeunier

May 12, 2026, 2:43 PM

66KFWFTHVMENKWTGRPEM65HNGIF3DENRLBXKQZBXC2FCOO67X62QC

Dependencies

• [2] YYJ76Q7V Initial attempt at CI/CD
• [3] EAHHH3UT Jobs: reconnect websocket on close

Change contents

• replacement in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 36
  [3.94]→[3.94:113](∅→∅)
  − websocket();
  [3.94]

  [2.4956]
  + if (!ended) {

  + out = [];

  + websocket();

  + }