Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• ci(scratch): point the one-off lock regeneration at rsr-template-repo…

  failed:
  Mirror to Git Forges#823:Commit8b0b33epushedbyhyperpolymath
  main

  Oct 20, 20264m 48s
  More actions for workflow run 823

• ci(agda): pin the Agda proofs job to ubuntu-24.04 (#445)

  failed:
  Mirror to Git Forges#822:Commit4243e50pushedbyhyperpolymath
  main

  Oct 20, 202623m 3s
  More actions for workflow run 822

• feat(lexicon): lexicon v2 schema as a Nickel contract; loader learns …

  cancelled:
  Mirror to Git Forges#821:Commit58b448fpushedbyhyperpolymath
  main

  Oct 20, 202639s
  More actions for workflow run 821

• chore(ci): remove the one-off lock-regeneration workflow merged by #4…

  cancelled:
  Mirror to Git Forges#820:Commit1b04deepushedbyhyperpolymath
  main

  Oct 20, 20262m 59s
  More actions for workflow run 820

• fix(ci): close actions.lock (Hypatia invalid_actions_lock) by moving …

  failed:
  Mirror to Git Forges#819:Commit13cbda9pushedbyhyperpolymath
  main

  Oct 20, 202615m 15s
  More actions for workflow run 819

• docs(decisions): lexicon v2 + hub-and-probe identity arbitration ADR,…

  failed:
  Mirror to Git Forges#818:Commitc020b63pushedbyhyperpolymath
  main

  Oct 19, 20266m 46s
  More actions for workflow run 818

• fix(rest): serve API docs with ReDoc so zip leaves the tree (#440)

  cancelled:
  Mirror to Git Forges#817:Commitd8a0185pushedbyhyperpolymath
  main

  Oct 19, 20263m 29s
  More actions for workflow run 817

• Claude/new session th4e9w lockregen (#441)

  failed:
  Mirror to Git Forges#816:Commit0d0aa0cpushedbyhyperpolymath
  main

  Oct 19, 20263m 12s
  More actions for workflow run 816

• fix(ci): re-pin standards reusables and repair actions.lock (#439)

  failed:
  Mirror to Git Forges#815:Commited6ef60pushedbyhyperpolymath
  main

  Oct 19, 20267m 32s
  More actions for workflow run 815

• chore(deps): bump the actions group with 3 updates (#438)

  failed:
  Mirror to Git Forges#814:Commit5fba2bfpushedbyhyperpolymath
  main

  Oct 16, 20268s
  More actions for workflow run 814

• fix(ci): read workflows as KYAML as well as block YAML (S4 prerequisi…

  failed:
  Mirror to Git Forges#813:Commit3438e54pushedbyhyperpolymath
  main

  Oct 14, 20263m 20s
  More actions for workflow run 813

• fix(ci): defer actions.lock verification to governance in the workflo…

  failed:
  Mirror to Git Forges#812:Commit5583c70pushedbyhyperpolymath
  main

  Oct 14, 20265m 14s
  More actions for workflow run 812

• chore(hypatia): delete dead ci-templates/mirror.yml, qualify echidnab…

  failed:
  Mirror to Git Forges#811:Commit4ff121apushedbyhyperpolymath
  main

  Oct 14, 20263m 56s
  More actions for workflow run 811

• fix(deps): bump quinn-proto 0.11.15 → 0.11.19 (RUSTSEC-2026-0338..034…

  failed:
  Mirror to Git Forges#810:Commitb6ff97epushedbyhyperpolymath
  main

  Oct 14, 20264m 7s
  More actions for workflow run 810

• feat(arbitration): ECH-05 fidelity evidence and belief/epi/sound verd…

  failed:
  Mirror to Git Forges#809:Commit6883126pushedbyhyperpolymath
  main

  Oct 14, 20264m 3s
  More actions for workflow run 809

• Arena/16d27c7e echidna (#428)

  failed:
  Mirror to Git Forges#808:Commit29b18eapushedbyhyperpolymath
  main

  Oct 9, 20264m 11s
  More actions for workflow run 808

• Arena/9aef7602 echidna (#427)

  cancelled:
  Mirror to Git Forges#807:Commit2a218acpushedbyhyperpolymath
  main

  Oct 9, 20262m 53s
  More actions for workflow run 807

• Update README.adoc

  cancelled:
  Mirror to Git Forges#806:Commitf9ba64epushedbyhyperpolymath
  main

  Oct 9, 20261m 33s
  More actions for workflow run 806

• Merge arena/16d27c7e-echidna: ParadisEO roadmap and issue specs (#426)

  failed:
  Mirror to Git Forges#805:Commita22bb5dpushedbyhyperpolymath
  main

  Oct 9, 20263m 44s
  More actions for workflow run 805

• ci: CI checkers in bash+jq (estate bans Python; fixes banned-language…

  failed:
  Mirror to Git Forges#804:Commit9c9c2e2pushedbyhyperpolymath
  main

  Oct 9, 20264m 3s
  More actions for workflow run 804

• fix(tests): rustfmt layout for corpus_cli_dispatch (rust-ci fmt red o…

  cancelled:
  Mirror to Git Forges#803:Commitf6ce4c9pushedbyhyperpolymath
  main

  Oct 9, 20261m 44s
  More actions for workflow run 803

• feat(corpus): wire all 17 adapters into the CLI dispatcher (#418)

  failed:
  Mirror to Git Forges#802:Commit7fd369dpushedbyhyperpolymath
  main

  Oct 9, 20265m 10s
  More actions for workflow run 802

• ci(lock): lock taiki-e/install-action@v2.87.26 (fixes lint red on mai…

  cancelled:
  Mirror to Git Forges#801:Commitd8ca3dcpushedbyhyperpolymath
  main

  Oct 9, 202653s
  More actions for workflow run 801

• CI hygiene: allow-fail expiry, dead playground workflows, ruleset sna…

  cancelled:
  Mirror to Git Forges#800:Commitc7c57cfpushedbyhyperpolymath
  main

  Oct 9, 20263m 7s
  More actions for workflow run 800

• feat(metadata): deed-era baseline — echidna_chora.deed, STATE refresh…

  failed:
  Mirror to Git Forges#799:Commit645d7a2pushedbyhyperpolymath
  main

  Oct 9, 20262m 44s
  More actions for workflow run 799