OXYGENHUB

Changes up to # f98a8f7881e0 · 16

See as swimlanes (independent work side by side)

Register runners with a token; describe them in claims head
Andy McCall ·
✔ f98a8f7881e0
Runners sign their receipts
Andy McCall ·
✔ 47c1d64dec8a
Pin oxygen: line-range history
Andy McCall ·
✔ 635ed0b18ab8
Pin oxygen: replace conflicts are resolved by keeping a candidate
Andy McCall ·
✔ a3bb1ce37e8d
Pin oxygen: push errors name the bookmark and step
Andy McCall ·
✔ 6c524850555b
The runner tries hub requests again after server errors
Andy McCall ·
✔ 1b2229dab1a4
Pin oxygen: hosts protect a bare repository's default bookmark
Andy McCall ·
✔ 980b142f6634
Pin oxygen with remote bookmark deletion
Andy McCall ·
✔ 0f785e1c56e7
Pin oxygen with bookmark names containing /
Andy McCall ·
✔ 7dde30b05777
The runner runs up to max_jobs jobs at once within a memory and vCPU budget, asking the hub only for jobs that fit (a lone job may use the whole budget); preparing workspaces stays one at a time
Andy McCall ·
✔ bb643c252515
flow wait: follow the checks a push started on OxygenHub until they finish, against the repository's required checks; exit 0 passed, 1 failed, 2 at the time limit
Andy McCall ·
✔ 9e8f4a56630b
oxygen as a pinned subrepo in deps/ (make pins moves it), and fmt, clippy and tests in the pipeline, before the summary
Andy McCall ·
✔ fe128fa67a06
Ephemeral scratch mounts in M0: ephemeral://tmpfs and ephemeral://disk (a sparse disk per job), checked targets and sizes, in the canonical job and the receipt; flow-init mounts them for the job's user; make deploy-runner
Andy McCall ·
✔ fc10d9e80383
The specification, renamed from Xenon to OxygenFlow (.flow/pipeline.kdl, flow/provenance/v1, flow-casfs), and a README
Andy McCall ·
✔ a083cc802892
OxygenFlow's own pipeline: layout, notes, size and isolation checks, then a summary, in microVMs on Earth
Andy McCall ·
✔ f29b88af0d9b
OxygenFlow M0: pipeline parser and canonical job graph, receipts, the runner API types, flow-init, the Firecracker tier, flow check, run, rootfs import and runner
Andy McCall ·
✔ e0918b887850