12beca804e4c | Merge scorecard/forge-ci into main (lane SCORECARD): CI jobs wait for the gates and the free floor. Gate (ci4, dwarf): dwarves lib forge_ci/explorer 33/0, clippy clean on the touched code | 2026-10-29 |
5b33d0eaf6f3 | forge_ci: no CI job starts while a gate holds its lock or the disk is under the free floor (Host::hold, the action queue defers on it); forge.env floor 110 GB with the 40 GB cap (lane SCORECARD) | 2026-10-29 |
57c7b47b3fe7 | Merge scorecard/forge-ci into main (lane SCORECARD): the CI budget holds during a run (target cap, free-space floor, run cancel). Gate (ci4, dwarf): dwarves lib forge_ci/explorer/runa cancel 33/0, clippy clean on the touched code, lock follows (libc direct) | 2026-10-29 |
f7bd29cb0ad5 | GREEN the CI budget holds during a run: a watchdog checks the disk's free space every half minute and the run's target every five minutes; over the cap or under the floor the run's jobs are killed (runa with_cancel), the run is red and its target removed; forge.env DWARVES_CI_MIN_FREE_GB=150 (lane SCORECARD) | 2026-10-29 |
a073e298c8cf | RED forge_ci: a CI run over the target cap or under the free-space floor is stopped (over_budget, free_bytes); runa: with_cancel kills a run's in-flight jobs (gunnar's xtask ci filled 138 GB of target on dwarf, 2026-10-29) (lane SCORECARD) | 2026-10-29 |
95056c42aada | Merge relkey/attestation-test into main (lane RELKEY): the release key's YubiKey attestation is committed and tested. Gate (live-tools-ssl-proto, dwarf): dwarves-slsa 85/0 (release_key_attestation 4/0), clippy -D warnings and fmt clean, no lock change | 2026-10-29 |
bcd070b3fc45 | dwarves-slsa: the release key's YubiKey attestation is committed beside it and tested (lane RELKEY) | 2026-10-29 |
e38eebba086c | Merge slsakey/release-key into main (lane SLSA-KEY): the owner's YubiKey key (id d24d3785…8249e) is dwarves-slsa's built-in release verification key. Gate (ci4, dwarf): dwarves-slsa 81/0 (release_key 5/0), clippy -D warnings and fmt clean, no lock change | 2026-10-29 |
e8311bbd228f | dwarves-slsa: the owner's YubiKey release key is built in and is the default verification key (lane SLSA-KEY) | 2026-10-29 |
3a846c10582f | Merge scorecard/forge-ci into main (lane SCORECARD): the Scorecard summary names the checkout's commit. Gate (ci4, dwarf): ci-verbs tests green, clippy -D warnings clean | 2026-10-29 |
a99ecd02c0a6 | ci-verbs scorecard: the commit local mode answers as unknown comes from the checkout (lane SCORECARD) | 2026-10-29 |
12e93e4d466b | Merge scorecard/forge-ci into main (lane SCORECARD): a nightly pipeline's branch is its repo's followed branch. Gate (ci4, dwarf): dwarves lib forge_ci/explorer 31/0 three times, clippy clean on the touched code | 2026-10-29 |
58d06b0a7be1 | forge_ci: a nightly pipeline builds the branch its repo is followed at (scorecard-gunnar ran at main, which gunnar has not: red); the slot test waits out a sibling test's fork; README: the run containers' names (lane SCORECARD) | 2026-10-29 |
a63c74b15700 | Merge scorecard/forge-ci into main (lane SCORECARD): built moves at run start, a person's CI run at normal priority. Gate (ci4, dwarf): dwarves lib forge_ci/explorer 30/0, clippy clean on the touched code | 2026-10-29 |
7df295053091 | forge_ci: a run marks its head built when it STARTS (a queue lost to a restart is queued again by the next poll); a person's run (run-now, ▶ Run) goes at normal priority before the polled and nightly ones (lane SCORECARD) | 2026-10-29 |
34b0f20d2d3f | Merge scorecard/forge-ci into main (lane SCORECARD): the poll reads shared pipeline files from their home's fetched head. Gate (ci4, dwarf): dwarves lib forge_ci/explorer 30/0, clippy clean on the touched code | 2026-10-29 |
f21a2a2686b9 | forge_ci poll: a shared pipeline file is read from its home's newest fetched head (git show), never from a work tree a run may be building in; the first poll of a fresh forge saw no pipeline (lane SCORECARD) | 2026-10-29 |
24c66fa71ef7 | Merge scorecard/forge-ci into main (lane SCORECARD): the dwarves forge is the CI server (forge_ci + the Explorer lane's [ci] poll/run/publish, keep-id program steps, ci-verbs scorecard, pipelines ci-main/ci-master/scorecard, ci/forge for dwarf). Gate on the merged tree (ci4, dwarf, edda main a285af4): lock current (dwarves, ci/verbs), ci-verbs lockcheck GREEN, dwarves lib forge_ci/explorer/project/runa_backend 51/0, forge_ci_files 2/0, ci-verbs tests green, clippy clean on the touched code | 2026-10-29 |
f5596f77456b | forge_ci: rfind (clippy) (lane SCORECARD) | 2026-10-29 |
d2b9c903687f | GREEN target cap (LRU), DWARVES_CI_CHECKOUT, run-now spool, Explorer ▶ Run of a [ci] project is a CI run; pipelines ci-main/ci-master (cargo xtask ci --quick) and scorecard (cargo ci-verbs scorecard, nightly); ci/forge: dwarf's CI project, forge.env, keep-id podman service, units, setup.sh, README (CI provenance is not release provenance); guard test forge_ci_files (lane SCORECARD) | 2026-10-29 |