Code Coverage

Workflow runs for Code Coverage

• chore(deps): bump criterion from 0.5.1 to 0.8.2 (#13)

  failed:
  Code Coverage#97:Commitcb08363pushedbyhyperpolymath
  main

  Apr 1, 20262m 35s
  More actions for workflow run 97

• feat: add ClassificationSoundness.idr + PatternCompleteness.idr + aud…

  failed:
  Code Coverage#96:Commit349e4bapushedbyhyperpolymath
  main

  Mar 30, 202621m 16s
  More actions for workflow run 96

• ci: add readiness grade tests and benchmarks to E2E workflow

  failed:
  Code Coverage#95:Commitb160711pushedbyhyperpolymath
  main

  Mar 30, 20264m 6s
  More actions for workflow run 95

• ci: add E2E workflow for VeriSimDB integration and scan pipeline

  failed:
  Code Coverage#94:Commit75779b9pushedbyhyperpolymath
  main

  Mar 30, 20262m 53s
  More actions for workflow run 94

• feat: migrate blackbox_stress from Python to Julia

  failed:
  Code Coverage#93:Commitaf959bbpushedbyhyperpolymath
  main

  Mar 29, 202612m 23s
  More actions for workflow run 93

• chore: add ROADMAP.adoc with project-specific title

  failed:
  Code Coverage#92:Commit47183edpushedbyhyperpolymath
  main

  Mar 29, 202616m 46s
  More actions for workflow run 92

• feat: add stapeln.toml container definition

  failed:
  Code Coverage#91:Commit4ebc930pushedbyhyperpolymath
  main

  Mar 29, 202631m 34s
  More actions for workflow run 91

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  failed:
  Code Coverage#90:Commit8a54ad5pushedbyhyperpolymath
  main

  Mar 29, 202633m 23s
  More actions for workflow run 90

• chore(deps): bump criterion from 0.5.1 to 0.8.2

  failed:
  Code Coverage#89:Pull request#13openedbydependabot[bot]Bot
  dependabot/cargo/criterion-0.8.2

  Mar 28, 20262m 55s
  More actions for workflow run 89

• chore(deps): bump sha2 from 0.10.9 to 0.11.0

  failed:
  Code Coverage#88:Pull request#12openedbydependabot[bot]Bot
  dependabot/cargo/sha2-0.11.0

  Mar 28, 20262m 56s
  More actions for workflow run 88

• chore(deps): bump ureq from 2.12.1 to 3.3.0

  failed:
  Code Coverage#87:Pull request#11openedbydependabot[bot]Bot
  dependabot/cargo/ureq-3.3.0

  Mar 28, 20262m 55s
  More actions for workflow run 87

• chore(deps): bump eframe from 0.27.2 to 0.34.1

  failed:
  Code Coverage#86:Pull request#10openedbydependabot[bot]Bot
  dependabot/cargo/eframe-0.34.1

  Mar 28, 20263m 5s
  More actions for workflow run 86

• chore(deps): bump the rust-minor group with 6 updates

  failed:
  Code Coverage#85:Pull request#9openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-a6380bc905

  Mar 28, 20262m 41s
  More actions for workflow run 85

• chore: gitignore .tool-versions (asdf)

  failed:
  Code Coverage#84:Commitcb45defpushedbyhyperpolymath
  main

  Mar 28, 20261h 55m 4s
  More actions for workflow run 84

• chore: add UX infrastructure (quickstart, doctor, setup)

  failed:
  Code Coverage#83:Commit3a87421pushedbyhyperpolymath
  main

  Mar 28, 20261h 1m 56s
  More actions for workflow run 83

• feat: add V-lang API for static analysis client

  failed:
  Code Coverage#82:Commit925482fpushedbyhyperpolymath
  main

  Mar 28, 20262m 38s
  More actions for workflow run 82

• feat: add Idris2 ABI types and Zig FFI bridge

  failed:
  Code Coverage#81:Commit6a63f76pushedbyhyperpolymath
  main

  Mar 28, 20263m 7s
  More actions for workflow run 81

• feat: add Groove discovery manifest

  failed:
  Code Coverage#80:Commit3cfd7d9pushedbyhyperpolymath
  main

  Mar 28, 20263m 28s
  More actions for workflow run 80

• feat: add Groove protocol support

  failed:
  Code Coverage#79:Commit263c494pushedbyhyperpolymath
  main

  Mar 28, 20262m 39s
  More actions for workflow run 79

• Delete ROADMAP.md

  failed:
  Code Coverage#78:Commit13df54bpushedbyhyperpolymath
  main

  Mar 27, 20262m 50s
  More actions for workflow run 78

• docs: restore README.adoc with proper project documentation

  failed:
  Code Coverage#77:Commitc3dddfdpushedbyhyperpolymath
  main

  Mar 27, 20262m 37s
  More actions for workflow run 77

• chore: add agent_instructions methodology layer

  failed:
  Code Coverage#76:Commit51649cepushedbyhyperpolymath
  main

  Mar 24, 20261h 2m 31s
  More actions for workflow run 76

• chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, …

  failed:
  Code Coverage#75:Commit3592078pushedbyhyperpolymath
  main

  Mar 23, 202625m 19s
  More actions for workflow run 75

• fix: A2ML TOML-like format support, manifest lookup, and language det…

  failed:
  Code Coverage#74:Commit82b69edpushedbyhyperpolymath
  main

  Mar 23, 20262m 40s
  More actions for workflow run 74

• chore(deps): bump the rust-minor group with 6 updates

  failed:
  Code Coverage#73:Pull request#4synchronizebydependabot[bot]Bot
  dependabot/cargo/rust-minor-a6380bc905

  Mar 23, 202619m 38s
  More actions for workflow run 73