fixing a websocket issue on the jobs page

pmeunier

May 19, 2026, 7:34 AM

4LI4UD4D7U23ZAIOKGDK637QQDM3A23OTXE6VGRRPD5TPHQZJOBQC

Dependencies

• [2] YYJ76Q7V Initial attempt at CI/CD
• [3] 66KFWFTH Avoid infinite loop on a job that has already ended
• [4] EAHHH3UT Jobs: reconnect websocket on close
• [5] NRBML6UE Updating ssh + debug

Change contents

• replacement in ui/src/routes/[user]/[repo]/jobs/[job]/+page.svelte at line 37
  [3.20]→[3.20:38](∅→∅)
  − out = [];
  [3.20]

  [3.38]
  + out = [[], []];
• edit in api/src/jobs.rs at line 185
  [2.36723]

  [2.37095]
  + socket

  + .send(

  + serde_json::to_string(&Msg::Status {

  + ended: chrono::DateTime::UNIX_EPOCH,

  + status: None,

  + })

  + .unwrap()

  + .into(),

  + )

  + .await

  + .unwrap_or(());
• replacement in api/src/jobs.rs at line 258
  [2.39072]→[2.39072:39113](∅→∅)
  − },

  − else => break
  [2.39072]

  [2.39113]
  + }

  + else =>{

  + socket.send(serde_json::to_string(&Msg::Status {

  + ended: chrono::DateTime::UNIX_EPOCH,

  + status: None,

  + }).unwrap().into()).await.unwrap_or(());

  + break

  + }

  +