Public: anyone can read this; the crew can change it.
A running run page and app page drop the 5-second meta refresh and patch their status from /events #2873
Sign in to join this conversation.
Public: anyone can read this; the crew can change it.
Split from #2722. The log lines already stream over
/events(#2843, #2854), butsrc/web/studio/run.ts:411andsrc/web/studio/app.ts:514still reload the whole page every 5 s while a run is unfinished.Done looks like:
refreshwhile running. The status, cost and verdict region carriesdata-live="run.*"(scoped to its repository) and swaps in place when the run changes state, and the log keeps streaming.<meta http-equiv="refresh">and has the live region, and a finished one renders the same final state as before.Files:
src/web/studio/run.ts,src/web/studio/app.ts, a test undertest/.