All workflows

Workflow runs

• Bump pinned Rust toolchain to 1.99.1

  completed successfully:
  Release#333:Pull request#183synchronizebywack-chores[bot]Bot
  update-to-rust-1.99.1

  Oct 26, 202639s
  More actions for workflow run 333

• Bump pinned Rust toolchain to 1.99.1

  completed successfully:
  On Push – Validate Build#619:Commit5688bf5pushedbywack-chores[bot]Bot
  update-to-rust-1.99.1

  Oct 26, 20263m 59s
  More actions for workflow run 619

• Bump pinned Rust toolchain to 1.99.1

  completed successfully:
  Release#332:Pull request#183openedbywack-chores[bot]Bot
  update-to-rust-1.99.1

  Oct 19, 202639s
  More actions for workflow run 332

• Bump pinned Rust toolchain to 1.99.1

  completed successfully:
  On Push – Validate Build#618:Commitf661f0epushedbywack-chores[bot]Bot
  update-to-rust-1.99.1

  Oct 19, 20263m 52s
  More actions for workflow run 618

• Bump pinned Rust toolchain to 1.99.0

  completed successfully:
  Release#331:Pull request#182openedbywack-chores[bot]Bot
  update-to-rust-1.99.0

  Oct 5, 202638s
  More actions for workflow run 331

• Bump pinned Rust toolchain to 1.99.0

  completed successfully:
  On Push – Validate Build#617:Commitcf4759cpushedbywack-chores[bot]Bot
  update-to-rust-1.99.0

  Oct 5, 20264m 10s
  More actions for workflow run 617

• On Merge | Validate Build

  completed successfully:
  On Merge | Validate Build#137:Merge group checks requested
  Sep 27, 202612m 4s
  More actions for workflow run 137

• Bump pinned Rust toolchain to 1.98.1

  completed successfully:
  Release#330:Pull request#181openedbywack-chores[bot]Bot
  update-to-rust-1.98.1

  Sep 27, 202638s
  More actions for workflow run 330

• Bump pinned Rust toolchain to 1.98.1

  completed successfully:
  On Push – Validate Build#616:Commite0f2575pushedbywack-chores[bot]Bot
  update-to-rust-1.98.1

  Sep 27, 20264m 18s
  More actions for workflow run 616

• On Merge | Validate Build

  completed successfully:
  On Merge | Validate Build#136:Merge group checks requested
  Sep 25, 202611m 42s
  More actions for workflow run 136

• Add multi reqs: requirement AND-OR graphs over a Datalog core

  completed successfully:
  Release#329:Pull request#180synchronizebyRobbieMcKinstry
  claude/datalog-reqs-subcommand-jdxmfq

  Sep 25, 202643s
  More actions for workflow run 329

• Give reqs-cli unit tests so the per-member nextest run passes

  completed successfully:
  On Push – Validate Build#615:Commite3a451fpushedbyRobbieMcKinstry
  claude/datalog-reqs-subcommand-jdxmfq

  Sep 25, 202653s
  More actions for workflow run 615

• On Merge | Validate Build

  failed:
  On Merge | Validate Build#135:Merge group checks requested
  Sep 25, 202614m 37s
  More actions for workflow run 135

• Add multi reqs: requirement AND-OR graphs over a Datalog core

  completed successfully:
  Release#328:Pull request#180openedbyRobbieMcKinstry
  claude/datalog-reqs-subcommand-jdxmfq

  Sep 25, 202644s
  More actions for workflow run 328

• Add multi reqs: requirement AND-OR graphs over a Datalog core

  completed successfully:
  On Push – Validate Build#614:Commit7c729f9pushedbyRobbieMcKinstry
  claude/datalog-reqs-subcommand-jdxmfq

  Sep 25, 20264m 24s
  More actions for workflow run 614

• On Merge | Validate Build

  completed successfully:
  On Merge | Validate Build#134:Merge group checks requested
  Sep 24, 202610m 23s
  More actions for workflow run 134

• Record Jev's Choice confidence and probabilities in the plan

  completed successfully:
  Release#327:Pull request#179synchronizebyRobbieMcKinstry
  claude/jev-reasoning-agent-fidelity-yrbc6t

  Sep 24, 202639s
  More actions for workflow run 327

• Add the plan file from the follow-up benchmark run

  completed successfully:
  On Push – Validate Build#613:Commit31e992fpushedbyRobbieMcKinstry
  claude/jev-reasoning-agent-fidelity-yrbc6t

  Sep 24, 202655s
  More actions for workflow run 613

• Record Jev's Choice confidence and probabilities in the plan

  completed successfully:
  Release#326:Pull request#179openedbyRobbieMcKinstry
  claude/jev-reasoning-agent-fidelity-yrbc6t

  Sep 24, 202638s
  More actions for workflow run 326

• Follow up with the agent when Jev can't affirm its pass

  completed successfully:
  On Push – Validate Build#612:Commit6a6b3eapushedbyRobbieMcKinstry
  claude/jev-reasoning-agent-fidelity-yrbc6t

  Sep 24, 202658s
  More actions for workflow run 612

• Record Jev's Choice confidence and probabilities in the plan

  completed successfully:
  On Push – Validate Build#611:Commit4497188pushedbyRobbieMcKinstry
  claude/jev-reasoning-agent-fidelity-yrbc6t

  Sep 23, 20263m 39s
  More actions for workflow run 611

• Re-plan all checks after bounding agent searches

  completed successfully:
  On Push – Validate Build#610:Commit2fd685dpushedbyRobbieMcKinstry
  claude/cli-debug-build-verify-u0hm1j

  Sep 23, 202651s
  More actions for workflow run 610

• Add .check-plan.toml from a real Jev planning run

  completed successfully:
  Release#325:Pull request#178synchronizebyRobbieMcKinstry
  claude/cli-debug-build-verify-u0hm1j

  Sep 23, 202644s
  More actions for workflow run 325

• Add .check-plan.toml from a real Jev planning run

  completed successfully:
  Release#324:Pull request#178openedbyRobbieMcKinstry
  claude/cli-debug-build-verify-u0hm1j

  Sep 23, 202645s
  More actions for workflow run 324

• On Merge | Validate Build

  completed successfully:
  On Merge | Validate Build#133:Merge group checks requested
  Sep 23, 202610m 26s
  More actions for workflow run 133