All workflows

Workflow runs

• test(ownir): give every composition input a witness that dies without it

  failed:
  CI#1773:Commit4848cfdpushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20267m 3s
  More actions for workflow run 1773

• test(ownir): give every composition input a witness that dies without it

  failed:
  CI#1772:Commit4848cfdpushedbyPhysShell
  claude/own-verdicts-bootstrap-4uxn6s

  Aug 10, 20266m 23s
  More actions for workflow run 1772

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#326:Scheduled
  main

  Aug 10, 20268s
  More actions for workflow run 326

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#325:Scheduled
  main

  Aug 10, 20268s
  More actions for workflow run 325

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#324:Scheduled
  main

  Aug 10, 20266s
  More actions for workflow run 324

• feat(verdicts): project Layer 2 back into the analysis AST

  failed:
  CI#1771:Commitd8d32fbpushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20265m 4s
  More actions for workflow run 1771

• feat(verdicts): project Layer 2 back into the analysis AST

  failed:
  CI#1770:Commitd8d32fbpushedbyPhysShell
  claude/own-verdicts-bootstrap-4uxn6s

  Aug 10, 20266m 31s
  More actions for workflow run 1770

• feat(verdicts): bootstrap own-verdicts as the composition crate

  failed:
  CI#1769:Commit4763a3bpushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 19s
  More actions for workflow run 1769

• test(ownir): close the effects channel with a composition witness

  completed successfully:
  CI#1768:Commitb66b10dpushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 47s
  More actions for workflow run 1768

• Merge pull request #329 from PhysShell/claude/dotnet-optimization-exp…

  completed successfully:
  CI#1767:Commitf3d3e86pushedbyPhysShell
  main

  Aug 10, 20267m 20s
  More actions for workflow run 1767

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#323:Scheduled
  main

  Aug 10, 20266s
  More actions for workflow run 323

• test(ir): sort through the production sorter, and prove evidence in i…

  completed successfully:
  CI#1766:Commit51c30e8pushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 29s
  More actions for workflow run 1766

• test(ir): close the two acceptance gaps review found in a689326

  completed successfully:
  CI#1765:Commitc39f5c6pushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 45s
  More actions for workflow run 1765

• coderabbit-nudge

  completed successfully:
  coderabbit-nudge#322:Scheduled
  main

  Aug 10, 20266s
  More actions for workflow run 322

• docs(P-012): record loop-invariant-call mining packet as a research seed

  completed successfully:
  pr-issue-validation#571:Pull request#329editedbyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 202611s
  More actions for workflow run 571

• docs(P-012): record loop-invariant-call mining packet as a research seed

  completed successfully:
  pr-issue-validation#570:Pull request#329synchronizebyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 202621s
  More actions for workflow run 570

• docs(P-012): record loop-invariant-call mining packet as a research seed

  completed successfully:
  CI#1764:Pull request#329synchronizebyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 20268m 7s
  More actions for workflow run 1764

• docs(P-012): address review — make the mining schema unambiguous

  completed successfully:
  CI#1763:Commit173db50pushedbyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 20266m 43s
  More actions for workflow run 1763

• test(ir): demonstrate the SourceLine representation, in four groups

  completed successfully:
  CI#1762:Commita689326pushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 7s
  More actions for workflow run 1762

• docs(P-012): record loop-invariant-call mining packet as a research seed

  completed successfully:
  pr-issue-validation#569:Pull request#329editedbycoderabbitai[bot]Bot
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 202613s
  More actions for workflow run 569

• docs(P-012): record loop-invariant-call mining packet as a research seed

  completed successfully:
  CI#1761:Pull request#329openedbyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 20266m 35s
  More actions for workflow run 1761

• docs(P-012): record loop-invariant-call mining packet as a research seed

  completed successfully:
  pr-issue-validation#568:Pull request#329openedbyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 202618s
  More actions for workflow run 568

• feat(ir): carry source lines as a signed SourceLine across the verdic…

  completed successfully:
  CI#1760:Commitac5746cpushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 24s
  More actions for workflow run 1760

• docs(P-022): add the secondary and identity coordinate carriers

  completed successfully:
  CI#1759:Commit48e639dpushedbyPhysShell
  claude/own259-cp4-analysis-wiring

  Aug 10, 20266m 38s
  More actions for workflow run 1759

• docs(P-012): record the loop-invariant-call mining packet as a resear…

  completed successfully:
  CI#1758:Commitd84adf5pushedbyPhysShell
  claude/dotnet-optimization-experiments-6147se

  Aug 10, 20266m 33s
  More actions for workflow run 1758