.github/workflows/mirror.yml

Workflow runs for .github/workflows/mirror.yml

• chore(deps): bump the rust-minor group across 1 directory with 7 upda…

  skipped:
  .github/workflows/mirror.yml#85:Commit2f280f1pushedbyhyperpolymath
  main

  Apr 1, 20261s
  More actions for workflow run 85

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

  skipped:
  .github/workflows/mirror.yml#84:Commitb8008d5pushedbyhyperpolymath
  main

  Apr 1, 20261s
  More actions for workflow run 84

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

  skipped:
  .github/workflows/mirror.yml#83:Commit7a52367pushedbyhyperpolymath
  main

  Apr 1, 20261s
  More actions for workflow run 83

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

  skipped:
  .github/workflows/mirror.yml#82:Commitc12fd89pushedbyhyperpolymath
  main

  Apr 1, 20261s
  More actions for workflow run 82

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

  skipped:
  .github/workflows/mirror.yml#81:Commitcb08363pushedbyhyperpolymath
  main

  Apr 1, 20261s
  More actions for workflow run 81

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

  skipped:
  .github/workflows/mirror.yml#80:Commit349e4bapushedbyhyperpolymath
  main

  Mar 30, 20261s
  More actions for workflow run 80

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

  skipped:
  .github/workflows/mirror.yml#79:Commitb160711pushedbyhyperpolymath
  main

  Mar 30, 20261s
  More actions for workflow run 79

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

  skipped:
  .github/workflows/mirror.yml#78:Commit75779b9pushedbyhyperpolymath
  main

  Mar 30, 20261s
  More actions for workflow run 78

• feat: migrate blackbox_stress from Python to Julia

  skipped:
  .github/workflows/mirror.yml#77:Commitaf959bbpushedbyhyperpolymath
  main

  Mar 29, 20261s
  More actions for workflow run 77

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

  skipped:
  .github/workflows/mirror.yml#76:Commit47183edpushedbyhyperpolymath
  main

  Mar 29, 20262s
  More actions for workflow run 76

• feat: add stapeln.toml container definition

  skipped:
  .github/workflows/mirror.yml#75:Commit4ebc930pushedbyhyperpolymath
  main

  Mar 29, 20261s
  More actions for workflow run 75

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

  skipped:
  .github/workflows/mirror.yml#74:Commit8a54ad5pushedbyhyperpolymath
  main

  Mar 29, 20261s
  More actions for workflow run 74

• chore: gitignore .tool-versions (asdf)

  skipped:
  .github/workflows/mirror.yml#73:Commitcb45defpushedbyhyperpolymath
  main

  Mar 28, 20261s
  More actions for workflow run 73

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

  skipped:
  .github/workflows/mirror.yml#72:Commit3a87421pushedbyhyperpolymath
  main

  Mar 28, 20261s
  More actions for workflow run 72

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

  skipped:
  .github/workflows/mirror.yml#71:Commit925482fpushedbyhyperpolymath
  main

  Mar 28, 20261s
  More actions for workflow run 71

• feat: add Idris2 ABI types and Zig FFI bridge

  skipped:
  .github/workflows/mirror.yml#70:Commit6a63f76pushedbyhyperpolymath
  main

  Mar 28, 20261s
  More actions for workflow run 70

• feat: add Groove discovery manifest

  skipped:
  .github/workflows/mirror.yml#69:Commit3cfd7d9pushedbyhyperpolymath
  main

  Mar 28, 20261s
  More actions for workflow run 69

• feat: add Groove protocol support

  skipped:
  .github/workflows/mirror.yml#68:Commit263c494pushedbyhyperpolymath
  main

  Mar 28, 20261s
  More actions for workflow run 68

• Delete ROADMAP.md

  completed successfully:
  .github/workflows/mirror.yml#67:Commit13df54bpushedbyhyperpolymath
  main

  Mar 27, 202615s
  More actions for workflow run 67

• docs: restore README.adoc with proper project documentation

  completed successfully:
  .github/workflows/mirror.yml#66:Commitc3dddfdpushedbyhyperpolymath
  main

  Mar 27, 202610s
  More actions for workflow run 66

• chore: add agent_instructions methodology layer

  completed successfully:
  .github/workflows/mirror.yml#65:Commit51649cepushedbyhyperpolymath
  main

  Mar 24, 20261h 1m 41s
  More actions for workflow run 65

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

  completed successfully:
  .github/workflows/mirror.yml#64:Commit3592078pushedbyhyperpolymath
  main

  Mar 23, 202622m 53s
  More actions for workflow run 64

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

  completed successfully:
  .github/workflows/mirror.yml#63:Commit82b69edpushedbyhyperpolymath
  main

  Mar 23, 202611s
  More actions for workflow run 63

• chore(deps): bump rustls-webpki in the cargo group across 1 directory…

  completed successfully:
  .github/workflows/mirror.yml#62:Commitb8745ebpushedbyhyperpolymath
  main

  Mar 23, 20268m 48s
  More actions for workflow run 62

• chore(deps): bump getrandom from 0.2.17 to 0.3.4 (#5)

  completed successfully:
  .github/workflows/mirror.yml#61:Commit8a30213pushedbyhyperpolymath
  main

  Mar 23, 20267m 59s
  More actions for workflow run 61