All workflows

Workflow runs

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#809:Scheduled
  main

  Sep 25, 20267s
  More actions for workflow run 809

• formal-p037-gate

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

  Sep 25, 202613m 19s
  More actions for workflow run 7

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#808:Scheduled
  main

  Sep 25, 20269s
  More actions for workflow run 808

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#807:Scheduled
  main

  Sep 25, 20266s
  More actions for workflow run 807

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#806:Scheduled
  main

  Sep 24, 20269s
  More actions for workflow run 806

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#805:Scheduled
  main

  Sep 24, 20268s
  More actions for workflow run 805

• Research: mine G# for reusable CFG/dataflow/analyzer patterns

  completed successfully:
  pr-issue-validation#853:Issue#365openedbyPhysShell
  Sep 24, 20269s
  More actions for workflow run 853

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#804:Scheduled
  main

  Sep 24, 20268s
  More actions for workflow run 804

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#803:Scheduled
  main

  Sep 24, 20267s
  More actions for workflow run 803

• P-037 Phase B / B1-F2-F2: name T_B at the widened instrument (9418f57…

  completed successfully:
  CI#2246:Commita319a95pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 14s
  More actions for workflow run 2246

• P-037 Phase B / B1-F2-F2: R_B retake at the widened instrument (T_B =…

  completed successfully:
  CI#2245:Commit9418f57pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 31s
  More actions for workflow run 2245

• formal-p037-gate

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

  Sep 24, 202610m 30s
  More actions for workflow run 6

• P-037 Phase B / B1-F2-F2: the extractor seam itself was still too narrow

  completed successfully:
  CI#2244:Commitfdde0a0pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202616m 48s
  More actions for workflow run 2244

• P-037 Phase B / B1-F2-F1: fix order/must_measure/non_goals wording

  completed successfully:
  CI#2243:Commitf8ffd42pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 52s
  More actions for workflow run 2243

• P-037 Phase B / B1-F2: name T_B at the corrected instrument (069d5bc'…

  completed successfully:
  CI#2242:Commit5579d80pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202611m 57s
  More actions for workflow run 2242

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

  completed successfully:
  CI#2241:Commit069d5bcpushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 50s
  More actions for workflow run 2241

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#802:Scheduled
  main

  Sep 24, 20267s
  More actions for workflow run 802

• P-037 Phase B / B1-F2: correct the extractor's instrument/treatment b…

  completed successfully:
  CI#2240:Commitcfe7e19pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202616m 1s
  More actions for workflow run 2240

• P-037 Phase B / B1: name T_B at the corrected instrument (df9a433's e…

  completed successfully:
  CI#2239:Commitbfa8647pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202617m 21s
  More actions for workflow run 2239

• P-037 Phase B / B1: R_B retake at the corrected instrument (T_B = a02…

  completed successfully:
  CI#2238:Commitdf9a433pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 26s
  More actions for workflow run 2238

• P-037 Phase B / B1-F1: correct 10.8c's own mislabeled instrument_iden…

  completed successfully:
  CI#2237:Commita02ccf1pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 40s
  More actions for workflow run 2237

• P-037 Phase B / B1-F1: fix instrument_identity's wrong-epoch closure

  completed successfully:
  CI#2236:Commiteb6c211pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 24, 202615m 14s
  More actions for workflow run 2236

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#801:Scheduled
  main

  Sep 23, 20269s
  More actions for workflow run 801

• P-037 Phase B / B1: name T_B and R_B

  completed successfully:
  CI#2235:Commit2ed4d92pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 23, 202615m 38s
  More actions for workflow run 2235

• P-037 Phase B / B1: R_B baseline at T_B (349c7bc)

  completed successfully:
  CI#2234:Commit40cb9b4pushedbyPhysShell
  claude/p037-phase-b-entry-gate

  Sep 23, 202616m 7s
  More actions for workflow run 2234