All workflows

Workflow runs

• landing: the baseline-relative rule (ROOT 2026-10-14): new reds vs ma…

  cancelled:
  Build and gates#213:Commit7ffd652pushedbyemberian
  main

  Oct 14, 20265h 54m 40s
  More actions for workflow run 213

• docs(PIPELINE-HBOX): the plant and its controls; the hbox findings of…

  cancelled:
  Build and gates#212:Commit30a5009pushedbyemberian
  main

  Oct 14, 20265h 54m 16s
  More actions for workflow run 212

• Merge main 4f50bd01 (REPAIR-2 m6grain) into the derived-StoreEpoch la…

  cancelled:
  Build and gates#211:Commit7dea062pushedbyemberian
  main

  Oct 9, 20267h 14m 32s
  More actions for workflow run 211

• candidate: the operator's role list does not require spkVolumeHelper …

  cancelled:
  Build and gates#210:Commit4f50bd0pushedbyemberian
  main

  Oct 9, 20265h 53m 45s
  More actions for workflow run 210

• candidate: drivers take the genesis-clock helper the manifest's candi…

  cancelled:
  Build and gates#209:Commit0998424pushedbyemberian
  main

  Oct 9, 20265h 53m 29s
  More actions for workflow run 209

• train kern: merge refs/heads/lane/kern-r1

  failed:
  Build and gates#208:Commit1c7e46dpushedbyemberian
  main

  Oct 9, 20266h 52m 53s
  More actions for workflow run 208

• train prod: merge refs/heads/lane/prod-hostup

  cancelled:
  Build and gates#207:Commit5896a59pushedbyemberian
  main

  Oct 8, 20267h 46m 31s
  More actions for workflow run 207

• Compare nine compact semantics capsules and separate host sponsorship

  cancelled:
  Build and gates#206:Commitdcab86dpushedbyemberian
  main

  Oct 8, 20267h 26m 7s
  More actions for workflow run 206

• Revalidate Automatafl against current front end and clarify object au…

  cancelled:
  Build and gates#205:Commit9182930pushedbyemberian
  main

  Oct 8, 20267h 21m 5s
  More actions for workflow run 205

• t2: restrict durable-index collision witnesses and restore full gate

  failed:
  Build and gates#204:Commit546c1c8pushedbyemberian
  main

  Oct 8, 20261h 6m 37s
  More actions for workflow run 204

• gates(objective-proofs): t1 ledger -- 14567 redefined by the V1 colle…

  cancelled:
  Build and gates#203:Commite0a8ba2pushedbyemberian
  main

  Oct 8, 20266h 56m 18s
  More actions for workflow run 203

• gates(objective-proofs): b29 ledger -- 1 removed, 73 restated, 2635 r…

  cancelled:
  Build and gates#202:Commitcfdaf64pushedbyemberian
  main

  Oct 7, 20266h 43m 11s
  More actions for workflow run 202

• gates: re-pin the Host closure and build surfaces for the batch (merg…

  failed:
  Build and gates#201:Commit7bd6db9pushedbyemberian
  main

  Oct 7, 20266h 31m 34s
  More actions for workflow run 201

• gates(objective-proofs): b28 ledger -- 0 removed, 24 restated, 2488 r…

  failed:
  Build and gates#200:Commit061fcfcpushedbyemberian
  main

  Oct 7, 20266h 52m 13s
  More actions for workflow run 200

• gates: re-pin the Host closure and build surfaces for the batch (merg…

  cancelled:
  Build and gates#199:Commit65181dbpushedbyemberian
  main

  Oct 7, 20267h 2m 59s
  More actions for workflow run 199

• gates: re-pin the Host closure and build surfaces for the batch (merg…

  failed:
  Build and gates#198:Commit01b3f0bpushedbyemberian
  main

  Oct 7, 20266h 29m 18s
  More actions for workflow run 198

• gates(objective-proofs): ledger and pins for batch b25 (row-a3c, neut…

  cancelled:
  Build and gates#197:Commita370f92pushedbyemberian
  main

  Oct 7, 20266h 47m 41s
  More actions for workflow run 197

• scripts(elab): probe-stack-safe-codecs elaborates again; provider-ser…

  failed:
  Build and gates#196:Commiteba8d5epushedbyemberian
  main

  Oct 7, 20266h 26m 24s
  More actions for workflow run 196

• gates(objective-proofs): ledger and pins for batch b24, kn2-joint-con…

  failed:
  Build and gates#195:Commitef4afbfpushedbyemberian
  main

  Oct 7, 20265h 54m 59s
  More actions for workflow run 195

• gates(objective-proofs): ledger and pins for batch b23, kn2-store-ope…

  cancelled:
  Build and gates#194:Commit91cf7e4pushedbyemberian
  main

  Oct 7, 20266h 44m 0s
  More actions for workflow run 194

• gates: re-pin the Host closure and build surfaces for the batch (merg…

  failed:
  Build and gates#193:Commit7a3b6a2pushedbyemberian
  main

  Oct 7, 20267h 11m 48s
  More actions for workflow run 193

• gates(objective-proofs): ledger and pins for batch b21, the kn2 store…

  failed:
  Build and gates#192:Commit21fe3aapushedbyemberian
  main

  Oct 7, 20267h 14m 54s
  More actions for workflow run 192

• gates: re-pin the Host closure and build surfaces for the batch (merg…

  failed:
  Build and gates#191:Commit0b92ac0pushedbyemberian
  main

  Oct 7, 20267h 31m 1s
  More actions for workflow run 191

• gates: re-pin the Host closure and build surfaces for the batch (merg…

  cancelled:
  Build and gates#190:Commitb86c7f1pushedbyemberian
  main

  Oct 7, 20266h 35m 11s
  More actions for workflow run 190

• gates(objective-proofs): ledger and pins for batch b19 (merge-keeper)

  cancelled:
  Build and gates#189:Commit899d9dcpushedbyemberian
  main

  Oct 7, 20266h 34m 58s
  More actions for workflow run 189