Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• chore(ci): bump standards reusable workflow pins (#142)

  failed:
  Mirror to Git Forges#271:Commit25f32b1pushedbyhyperpolymath
  main

  Jun 24, 20264h 56m 38s
  More actions for workflow run 271

• chore: extend owner SPDX header to all non-.rs sources (.md/.adoc/.id…

  failed:
  Mirror to Git Forges#270:Commit07902dcpushedbyhyperpolymath
  main

  Jun 24, 20269m 20s
  More actions for workflow run 270

• chore: add owner SPDX header to all .rs (satisfy licence-enforcer hoo…

  failed:
  Mirror to Git Forges#269:Commit479bf2dpushedbyhyperpolymath
  main

  Jun 24, 20261h 23m 23s
  More actions for workflow run 269

• chore(nix->guix): remove flake.nix (Guix-only) (#140)

  failed:
  Mirror to Git Forges#268:Commit3cffe67pushedbyhyperpolymath
  main

  Jun 24, 20265m 48s
  More actions for workflow run 268

• test(aggregate): ideal Idris2 proof fixture + end-to-end fold test (#…

  failed:
  Mirror to Git Forges#267:Commit826d541pushedbyhyperpolymath
  main

  Jun 24, 20264m 57s
  More actions for workflow run 267

• docs: complete audience→axial rename drift in man page + docs (#137)

  failed:
  Mirror to Git Forges#266:Commit0d89586pushedbyhyperpolymath
  main

  Jun 24, 20263m 49s
  More actions for workflow run 266

• Claude/unbounded severity v2 (#135)

  failed:
  Mirror to Git Forges#265:Commitb26acb0pushedbyhyperpolymath
  main

  Jun 24, 20263m 15s
  More actions for workflow run 265

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

  failed:
  Mirror to Git Forges#264:Commit3155768pushedbyhyperpolymath
  main

  Jun 24, 20264m 19s
  More actions for workflow run 264

• fix(assail): null-check-aware UncheckedAllocation + precise eval dete…

  failed:
  Mirror to Git Forges#263:Commit60d9219pushedbyhyperpolymath
  main

  Jun 24, 20263m 18s
  More actions for workflow run 263

• chore: retire local issue/discussion templates -> inherit org .github…

  failed:
  Mirror to Git Forges#262:Commit926c507pushedbyhyperpolymath
  main

  Jun 22, 202624m 12s
  More actions for workflow run 262

• Remove duplicate OpenSSF Scorecard workflow (scorecard-enforcer.yml) …

  failed:
  Mirror to Git Forges#261:Commit549234dpushedbyhyperpolymath
  main

  Jun 21, 20263m 17s
  More actions for workflow run 261

• Fix broken bench: add missing test_context field to WeakPoint literal…

  failed:
  Mirror to Git Forges#260:Commit36db570pushedbyhyperpolymath
  main

  Jun 21, 20263m 22s
  More actions for workflow run 260

• fix(assail): UnboundedAllocation is Medium, not Critical

  failed:
  Mirror to Git Forges#259:Commit3f7d0bbpushedbyhyperpolymath
  main

  Jun 13, 20263m 11s
  More actions for workflow run 259

• fix(assail): UnboundedAllocation is Medium, not Critical

  failed:
  Mirror to Git Forges#258:Commitb8dbfa6pushedbyhyperpolymath
  claude/unbounded-allocation-severity

  Jun 13, 2026Failure
  More actions for workflow run 258

• chore(deps): bump the rust-minor group with 2 updates (#126)

  failed:
  Mirror to Git Forges#257:Commit6a814fapushedbyhyperpolymath
  main

  Jun 13, 20263m 12s
  More actions for workflow run 257

• ci: wire the merge-orchestration CVE/bump gate (bridge-gate.yml) (#127)

  failed:
  Mirror to Git Forges#256:Commit2576c19pushedbyhyperpolymath
  main

  Jun 13, 20263m 24s
  More actions for workflow run 256

• Apply estate standardization: governance docs, contractiles, CI/CD cl…

  failed:
  Mirror to Git Forges#255:Commit0b87081pushedbyhyperpolymath
  fix/rust-ci-repin-822fa14e

  Jun 7, 2026Failure
  More actions for workflow run 255

• proofs: attestation unforgeability (Idris2, §3.2) + contractile INDEX…

  failed:
  Mirror to Git Forges#254:Commitd215986pushedbyhyperpolymath
  main

  Jun 4, 20263m 13s
  More actions for workflow run 254

• chore(close-out): CI hardening + hexad proof + doc accuracy + 6a2 met…

  failed:
  Mirror to Git Forges#253:Commitcfc892fpushedbyhyperpolymath
  main

  Jun 4, 20263m 23s
  More actions for workflow run 253

• feat: assay / assimilate / aggregate — proof-integration subcommands …

  failed:
  Mirror to Git Forges#252:Commit4dc4acapushedbyhyperpolymath
  main

  Jun 4, 20263m 17s
  More actions for workflow run 252

• feat(safe_path): port proven SafePath as pure-Rust + add traversal gu…

  failed:
  Mirror to Git Forges#251:Commit2dc1393pushedbyhyperpolymath
  main

  Jun 2, 202618m 23s
  More actions for workflow run 251

• proofs(Layer 1.0): close slash-slash inductive case via mutual recurs…

  failed:
  Mirror to Git Forges#250:Commit833f394pushedbyhyperpolymath
  main

  Jun 2, 202614m 43s
  More actions for workflow run 250

• release(v2.5.5): tag the 11-PR context-awareness cohort (#118)

  failed:
  Mirror to Git Forges#249:Commitd5f3a4fpushedbyhyperpolymath
  main

  Jun 2, 202613m 16s
  More actions for workflow run 249

• docs(closeout): v2.5.5 cohort + v3.0.0 verisim-push + PROOF-PROGRAMME…

  failed:
  Mirror to Git Forges#248:Commit2fc73bdpushedbyhyperpolymath
  main

  Jun 2, 202610m 50s
  More actions for workflow run 248

• proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

  failed:
  Mirror to Git Forges#247:Commitad1faf6pushedbyhyperpolymath
  main

  Jun 2, 20263m 44s
  More actions for workflow run 247