Activity
github: handle missing repository in pull request delivery
github: handle missing repository in pull request delivery
github, server: stream outputs from S3 if possible, with range requests
github, server: stream outputs from S3 if possible, with range requests
server, bin: purge old already-archived jobs to avoid perpetual datab…
server, bin: purge old already-archived jobs to avoid perpetual datab…
agent: log output should be JSON-formatted with timestamps
agent: log output should be JSON-formatted with timestamps
XXX fix live scrolling in basic variety web view
XXX fix live scrolling in basic variety web view
XXX split some of basic variety code into a reusable crate
XXX split some of basic variety code into a reusable crate
Force push
github: basic variety unprivileged support
github: basic variety unprivileged support
server, agent: allow jobs to identify factory used for worker
server, agent: allow jobs to identify factory used for worker
server: include factory details in job events
server: include factory details in job events
propolis, aws: disable sync on ephemeral root pools
propolis, aws: disable sync on ephemeral root pools
bin: allow operator to release all held workers
bin: allow operator to release all held workers
github: ANSI color code rendering should cache compiled regex
github: ANSI color code rendering should cache compiled regex
XXX do USB things with MCU-Links
XXX do USB things with MCU-Links
XXX split some of basic variety code into a reusable crate
XXX split some of basic variety code into a reusable crate
Deleted branch
github: improve ANSI terminal colour scheme
github: improve ANSI terminal colour scheme
github: render some job tag values as backlinks to GitHub
github: render some job tag values as backlinks to GitHub
XXX less editorial colour for stderr
XXX less editorial colour for stderr
on Sep 5, 2024