odoc-driver-series / 91c1985ecc86
Created 2026-09-29T06:12:45Z
Diff against previous snapshot (b3e5f51aaed5)
DAG state
All 234 nodes finished — ok=234, failed=0, cascade=0
Repos at this snapshot
| Repo | Snapshot | Message | Latest |
|---|---|---|---|
/home/app/.day11/repo/opam-repository | ec0f65160814 | Merge pull request #30826 from filipeom/opam-publish-cvc5.1.3.0-3 | 77bf79b2f35a |
/home/app/.day11/overlays/driver-series/repo | 2874425cc26b | Track 3.2.1 @ f04e1e40783af3ec3c21345cb399c5a0f1915266 (version 3.2.1+driver-series.1790660056.f04e1e4) | aeff79cfec42 |
/home/app/.day11/overlays/driver-series/upstream (upstream) | — | — | acae36f61a07 |
Failures
No failed nodes 🎉
Status totals
| Blessed builds | 0 |
|---|---|
| Non-blessed builds | 107 (success=107) |
| Blessed docs | 38 (doc_success=38) |
| Non-blessed docs | 89 (doc_success=89) |
Builds count compiled package layers; docs count compile+link (or doc-all) stages. Counts are per node (a package solved in N universes counts as N). 'Blessed' means the node belongs to the chosen primary universe for its package; build nodes aren't universe-specific, so blessed builds is normally empty. A dependency_failure is a cascade — the node never ran because a dependency failed.