.github/workflows/rust-ci.yml

Workflow runs for .github/workflows/rust-ci.yml

• feat(storage): wire VeriSimDB HTTP push via direct verisim-api

  failed:
  .github/workflows/rust-ci.yml#130:Commit728688apushedbyhyperpolymath
  main

  Apr 12, 202632s
  More actions for workflow run 130

• chore(v2.5.0): update doc counts 23→25, STATE.a2ml v2.3.0, complete m…

  failed:
  .github/workflows/rust-ci.yml#129:Commit82f2e6bpushedbyhyperpolymath
  main

  Apr 12, 202628s
  More actions for workflow run 129

• feat(v2.5.0): input_boundary (PA024) + mutation gap (PA025)

  failed:
  .github/workflows/rust-ci.yml#128:Commitab89123pushedbyhyperpolymath
  main

  Apr 12, 202652s
  More actions for workflow run 128

• feat(v2.5.0): crypto_misuse category — PA022

  failed:
  .github/workflows/rust-ci.yml#127:Commiteb949d8pushedbyhyperpolymath
  main

  Apr 12, 202628s
  More actions for workflow run 127

• chore(v2.2.0): doc sweep — 49 langs, 23 categories, stale counts cleared

  failed:
  .github/workflows/rust-ci.yml#126:Commit0bba84dpushedbyhyperpolymath
  main

  Apr 12, 202626s
  More actions for workflow run 126

• feat(v2.5.0): proof_drift category — 49-language support, PA021

  failed:
  .github/workflows/rust-ci.yml#125:Commitdf61372pushedbyhyperpolymath
  main

  Apr 12, 20261m 16s
  More actions for workflow run 125

• feat(v2.1.0): wire FP suppression + remove Logtalk export

  failed:
  .github/workflows/rust-ci.yml#124:Commit476efd9pushedbyhyperpolymath
  main

  Apr 11, 202622s
  More actions for workflow run 124

• chore(deps): bump clap_complete from 4.6.0 to 4.6.1 in the rust-minor group

  failed:
  .github/workflows/rust-ci.yml#123:Pull request#18openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-0a1a92ddf0

  Apr 11, 202620s
  More actions for workflow run 123

• docs(proof): update PROOF-NEEDS to reflect PA1+PA2 completion

  failed:
  .github/workflows/rust-ci.yml#122:Commitf02af8cpushedbyhyperpolymath
  main

  Apr 11, 202623s
  More actions for workflow run 122

• docs(roadmap): add v2.5.0 — attack surface widening milestone

  failed:
  .github/workflows/rust-ci.yml#121:Commit0a74596pushedbyhyperpolymath
  main

  Apr 11, 202630s
  More actions for workflow run 121

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  failed:
  .github/workflows/rust-ci.yml#120:Commit698901bpushedbyhyperpolymath
  main

  Apr 11, 20261h 46m 36s
  More actions for workflow run 120

• fix: compilation errors, deprecation warnings, and add unit tests (#17)

  failed:
  .github/workflows/rust-ci.yml#119:Commitfbbff87pushedbyhyperpolymath
  main

  Apr 10, 202643s
  More actions for workflow run 119

• Add comprehensive test suites for panll and analyzer modules

  failed:
  .github/workflows/rust-ci.yml#118:Pull request#17synchronizebyhyperpolymath
  claude/analyze-repo-improvements-siFU8

  Apr 10, 202624s
  More actions for workflow run 118

• fix: compilation errors, deprecation warnings, and add unit tests

  failed:
  .github/workflows/rust-ci.yml#117:Commit8134738pushedbyJoshuaJewell
  main

  Apr 10, 202623s
  More actions for workflow run 117

• fix: add missing file/line fields to WeakPoint initializers (#16)

  failed:
  .github/workflows/rust-ci.yml#116:Commit40b40dapushedbyhyperpolymath
  main

  Apr 9, 202623s
  More actions for workflow run 116

• fix: add missing file/line fields to WeakPoint initializers

  failed:
  .github/workflows/rust-ci.yml#115:Pull request#16openedbyhyperpolymath
  claude/debug-broken-feature-H4PmP

  Apr 9, 202623s
  More actions for workflow run 115

• chore(deps): bump getrandom from 0.3.4 to 0.4.2 (#15)

  failed:
  .github/workflows/rust-ci.yml#114:Commit36c7599pushedbyhyperpolymath
  main

  Apr 9, 20263m 28s
  More actions for workflow run 114

• chore(deps): bump getrandom from 0.3.4 to 0.4.2

  failed:
  .github/workflows/rust-ci.yml#113:Pull request#15openedbydependabot[bot]Bot
  dependabot/cargo/getrandom-0.4.2

  Apr 5, 20269m 51s
  More actions for workflow run 113

• feat(crg): add crg-grade and crg-badge justfile recipes

  failed:
  .github/workflows/rust-ci.yml#112:Commit21fc3f0pushedbyhyperpolymath
  main

  Apr 4, 20266h 3m 5s
  More actions for workflow run 112

• feat(crg): elevate assail to grade B, add Current Grade badge anchor

  failed:
  .github/workflows/rust-ci.yml#111:Commit36bc6fcpushedbyhyperpolymath
  main

  Apr 4, 20265h 10m 19s
  More actions for workflow run 111

• chore: update eclexiaiser.toml with real function entries

  failed:
  .github/workflows/rust-ci.yml#110:Commit256561epushedbyhyperpolymath
  main

  Apr 4, 20265h 11m 9s
  More actions for workflow run 110

• chore: add eclexiaiser.toml manifests for container sub-services

  failed:
  .github/workflows/rust-ci.yml#109:Commit93649cfpushedbyhyperpolymath
  main

  Apr 4, 20264h 3m 28s
  More actions for workflow run 109

• chore: add K9 Kennel-level metadata guard

  failed:
  .github/workflows/rust-ci.yml#108:Commit8f0800cpushedbyhyperpolymath
  main

  Apr 4, 20262h 18m 38s
  More actions for workflow run 108

• fix: add file/line fields to WeakPoint for GitHub Actions annotations…

  failed:
  .github/workflows/rust-ci.yml#107:Commit3154217pushedbyhyperpolymath
  main

  Apr 4, 202621m 12s
  More actions for workflow run 107

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  failed:
  .github/workflows/rust-ci.yml#106:Commit650acb5pushedbyhyperpolymath
  main

  Apr 4, 202630m 53s
  More actions for workflow run 106