Rust CLI Tests

Workflow runs for Rust CLI Tests

• chore(deps): bump the actions group with 5 updates (#217)

  completed successfully:
  Rust CLI Tests#199:Commit295c3capushedbyhyperpolymath
  main

  Oct 11, 20263m 14s
  More actions for workflow run 199

• chore(deps): bump the actions group with 5 updates

  completed successfully:
  Rust CLI Tests#198:Commit9dfce4epushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6ba437f696

  Oct 11, 20262m 5s
  More actions for workflow run 198

• Fix/verify preconditions real (#216)

  completed successfully:
  Rust CLI Tests#197:Commit680c929pushedbyhyperpolymath
  main

  Oct 3, 20262m 40s
  More actions for workflow run 197

• Fix/verify preconditions real

  completed successfully:
  Rust CLI Tests#196:Pull request#216synchronizebyhyperpolymath
  fix/verify-preconditions-real

  Oct 3, 20262m 23s
  More actions for workflow run 196

• refactor(verification): use nix's safe access/geteuid/mkfifo, drop un…

  completed successfully:
  Rust CLI Tests#195:Commitc82358dpushedbyhyperpolymath
  fix/verify-preconditions-real

  Oct 2, 20261m 53s
  More actions for workflow run 195

• fix(rust-cli): real Lean precondition checks in verification.rs (P0-5…

  completed successfully:
  Rust CLI Tests#194:Commitc033e9epushedbyhyperpolymath
  main

  Oct 2, 20264m 55s
  More actions for workflow run 194

• fix(rust-cli): real Lean precondition checks in verification.rs (P0-5)

  completed successfully:
  Rust CLI Tests#193:Pull request#215openedbyhyperpolymath
  fix/verify-preconditions-real

  Oct 2, 20263m 33s
  More actions for workflow run 193

• fix(rust-cli): keep rmdir read_dir error text identical to the command

  completed successfully:
  Rust CLI Tests#192:Commit7cac31fpushedbyhyperpolymath
  fix/verify-preconditions-real

  Oct 2, 20262m 51s
  More actions for workflow run 192

• fix(test): model oracle test fails instead of skipping as a pass (P0-…

  completed successfully:
  Rust CLI Tests#191:Commit3440d69pushedbyhyperpolymath
  main

  Oct 2, 20263m 24s
  More actions for workflow run 191

• fix(test): model oracle test fails instead of skipping as a pass (P0-4)

  completed successfully:
  Rust CLI Tests#190:Pull request#214synchronizebyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 20262m 35s
  More actions for workflow run 190

• chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3) (#213)

  completed successfully:
  Rust CLI Tests#189:Commit53ae47fpushedbyhyperpolymath
  main

  Oct 2, 20262m 53s
  More actions for workflow run 189

• fix(test): model oracle test fails instead of skipping as a pass (P0-4)

  completed successfully:
  Rust CLI Tests#188:Pull request#214openedbyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 20263m 2s
  More actions for workflow run 188

• chore(lean4): bump toolchain v4.12.0 -> v4.34.1 (P0-3)

  completed successfully:
  Rust CLI Tests#187:Pull request#213openedbyhyperpolymath
  chore/lean-4-34-1

  Oct 2, 20262m 43s
  More actions for workflow run 187

• fix(test): model oracle test fails instead of skipping as a pass

  completed successfully:
  Rust CLI Tests#186:Commitd8e475bpushedbyhyperpolymath
  fix/oracle-no-skip-as-pass

  Oct 2, 20262m 39s
  More actions for workflow run 186

• chore(deps): bump the actions group with 7 updates (#205)

  completed successfully:
  Rust CLI Tests#185:Commit6107346pushedbyhyperpolymath
  main

  Sep 21, 20266h 8m 47s
  More actions for workflow run 185

• chore(deps): bump the actions group with 7 updates

  completed successfully:
  Rust CLI Tests#184:Commitac6cd5dpushedbydependabot[bot]Bot
  dependabot/github_actions/actions-6c0dea18a1

  Sep 18, 20262m 50s
  More actions for workflow run 184

• chore: reconcile local history with origin (R-16/R-24)

  completed successfully:
  Rust CLI Tests#183:Commitfd2566apushedbyhyperpolymath
  r16-reconcile-2026-08-28

  Aug 31, 20263m 18s
  More actions for workflow run 183

• fix: close foundational shell and proof-integrity gaps (#193)

  completed successfully:
  Rust CLI Tests#182:Commitb75712epushedbyhyperpolymath
  main

  Aug 24, 202613m 41s
  More actions for workflow run 182

• fix: close foundational shell and proof-integrity gaps

  completed successfully:
  Rust CLI Tests#181:Pull request#193openedbyhyperpolymath
  codex/closure-sprint-20260824

  Aug 24, 20266m 42s
  More actions for workflow run 181

• fix foundational shell and proof integrity gaps

  completed successfully:
  Rust CLI Tests#180:Commit119c250pushedbyhyperpolymath
  codex/closure-sprint-20260824

  Aug 24, 202611m 25s
  More actions for workflow run 180

• refactor: migrate Markdown to AsciiDoc (#188)

  completed successfully:
  Rust CLI Tests#179:Commit3ce0417pushedbyhyperpolymath
  main

  Aug 24, 20261h 3m 2s
  More actions for workflow run 179

• refactor: migrate Markdown to AsciiDoc

  completed successfully:
  Rust CLI Tests#178:Pull request#188openedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 2m 32s
  More actions for workflow run 178

• refactor: migrate repository documentation from Markdown to AsciiDoc

  completed successfully:
  Rust CLI Tests#177:Commitca7e159pushedbyhyperpolymath
  refactor/md-to-adoc

  Aug 24, 20261h 3m 25s
  More actions for workflow run 177

• fix(ci): add required permissions for reusable workflows (Bug B)

  completed successfully:
  Rust CLI Tests#176:Commit1ed7572pushedbyhyperpolymath
  fix/ci-426-batch2

  Aug 13, 20262m 46s
  More actions for workflow run 176

• fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3…

  completed successfully:
  Rust CLI Tests#175:Commited4c1a0pushedbyhyperpolymath
  fix/ci-426-batch13

  Aug 13, 20262m 57s
  More actions for workflow run 175