All workflows

Workflow runs

• research(mathcomp): Rocq+MathComp spike on the P-037 kernel - RESULT:…

  completed successfully:
  CI#2256:Commit4b8e2c6pushedbyPhysShell
  claude/mathcomp-ownnet-spike-911fbt

  Sep 27, 20267m 58s
  More actions for workflow run 2256

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#821:Scheduled
  main

  Sep 27, 20267s
  More actions for workflow run 821

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#820:Scheduled
  main

  Sep 27, 20268s
  More actions for workflow run 820

• formal-p037-gate

  completed successfully:
  formal-p037-gate#9:Scheduled
  main

  Sep 27, 202616m 2s
  More actions for workflow run 9

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#819:Scheduled
  main

  Sep 27, 20269s
  More actions for workflow run 819

• P-037 Phase B / B2.1a-R1: extend the a2d cross-epoch guard's allowlist

  failed:
  CI#2255:Commitd69a6edpushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 27, 202615m 40s
  More actions for workflow run 2255

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#818:Scheduled
  main

  Sep 27, 20266s
  More actions for workflow run 818

• P-037 Phase B / B1-F2-F4-R2: name T_B/R_B at the corrected instrument

  completed successfully:
  CI#2254:Commitfc90d72pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 20269m 20s
  More actions for workflow run 2254

• P-037 Phase B / B1-F2-F4-R2: retake R_B at the corrected instrument (…

  completed successfully:
  CI#2253:Commit52a55c8pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202614m 16s
  More actions for workflow run 2253

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#817:Scheduled
  main

  Sep 26, 20268s
  More actions for workflow run 817

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#816:Scheduled
  main

  Sep 26, 20267s
  More actions for workflow run 816

• P-037 Phase B / B1-F2-F4-R2: close the carve-out invariant generically

  completed successfully:
  CI#2252:Commite4199ecpushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202615m 34s
  More actions for workflow run 2252

• Own.Concurrent: detect ownership-handoff violations across concurrent publication boundaries

  completed successfully:
  pr-issue-validation#854:Issue#366openedbyPhysShell
  Sep 26, 20269s
  More actions for workflow run 854

• P-037 Phase B / B1-F2-F4-R2: carve dump summary out of instrument

  completed successfully:
  CI#2251:Commit11f08d5pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202612m 4s
  More actions for workflow run 2251

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#815:Scheduled
  main

  Sep 26, 20268s
  More actions for workflow run 815

• P-037 Phase B / B1-F2-F4-R1: name fresh T_B and R_B

  completed successfully:
  CI#2250:Commit3ac13fdpushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202616m 11s
  More actions for workflow run 2250

• P-037 Phase B / B1-F2-F4-R1: retake R_B at corrected instrument

  completed successfully:
  CI#2249:Commit9d914e3pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202616m 25s
  More actions for workflow run 2249

• P-037 Phase B / B1-F2-F4-R1: fix three instrument defects found by re…

  completed successfully:
  CI#2248:Commit718a673pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202611m 24s
  More actions for workflow run 2248

• P-037 Phase B / B1-F2-F4: register p037_delegation_closure.py in the …

  completed successfully:
  CI#2247:Commitad55df4pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 26, 202611m 44s
  More actions for workflow run 2247

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#814:Scheduled
  main

  Sep 26, 20267s
  More actions for workflow run 814

• formal-p037-gate

  completed successfully:
  formal-p037-gate#8:Scheduled
  main

  Sep 26, 202615m 41s
  More actions for workflow run 8

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#813:Scheduled
  main

  Sep 26, 20268s
  More actions for workflow run 813

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#812:Scheduled
  main

  Sep 26, 20267s
  More actions for workflow run 812

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#811:Scheduled
  main

  Sep 25, 20266s
  More actions for workflow run 811

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#810:Scheduled
  main

  Sep 25, 20266s
  More actions for workflow run 810