OXYGENHUB

Changes up to # 739a763a558c touching crates/hub/src/db/flow.rs · 19

See as swimlanes (independent work side by side)

End the jobs a runner no longer holds at its next claim
Andy McCall ·
✔ eef677c48cd1
Runners are offered only jobs whose image they hold (closes #73)
Andy McCall ·
✔ b0612e7dce30
The hub ends jobs no runner reports, past the time limit (refs #71)
Andy McCall ·
✔ 070a7b64b368
Flow: jobs that ask for runner labels go to runners with them (refs #41, part 3)
Andy McCall ·
✔ c4c87f481d05
Runners: the queue on Admin → Runners, and the runner API (refs #41, part 4)
Andy McCall ·
✔ b66e70b7b6c7
Runners serve the site, an owner or one repository (refs #41, part 2)
Andy McCall ·
✔ 74be97962ed8
Runners: registration, Admin -> Runners, history, drain/disable/remove
Andy McCall ·
✔ b6b7e4cf6b24
Release assets link to the receipt that built them
Andy McCall ·
✔ 10708ab8f54d
Keep and serve Flow job artifacts
Andy McCall ·
✔ a3c8288b0141
Verify and keep signed Flow receipts
Andy McCall ·
✔ cc19697f8871
A queued run says where it stands
Andy McCall ·
✔ bf3d07541368
Flow runs, jobs and logs in the API; checks by heads
Andy McCall ·
✔ 90326c9601f9
Run pipeline and Re-run: runs that move no bookmark
Andy McCall ·
✔ 1edac4b68c6d
Number Flow runs per repository
Andy McCall ·
✔ a0d4bbfbedd1
Write transactions begin IMMEDIATE, so a concurrent writer is waited for (busy timeout) instead of failing at once with database is locked; a test of 16 concurrent log appends fails without it
Andy McCall ·
✔ 941abdd6bb4c
OxygenFlow claims hand a runner only jobs whose sandbox fits the room it reports; oxygenflow pin moved to the budgeted runner
Andy McCall ·
✔ 76bc5a058351
OxygenFlow claims list the state's pinned Oxygen subrepos that the pusher can read, and the job token may read those repositories too
Andy McCall ·
✔ fd3db644df22
Flow state stamps: a state-addressed, verifiable pipeline result for READMEs, and a raw route so Markdown images work
Andy McCall ·
✔ 736f6813543d
OxygenFlow runs: pushes start pipeline runs, a runner API with job tokens, jobs as checks, and a Flow tab with the job graph and live logs
Andy McCall ·
✔ 42fa95540468