Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• fix(assail): PA021 Isabelle detector skips prose blocks + antiquotati…

  completed successfully:
  Mirror to Git Forges#196:Commitdb0e1b7pushedbyhyperpolymath
  main

  May 26, 202619s
  More actions for workflow run 196

• fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes …

  completed successfully:
  Mirror to Git Forges#195:Commit7766c18pushedbyhyperpolymath
  main

  May 26, 20261m 37s
  More actions for workflow run 195

• ci(rust): convert rust-ci.yml to thin wrapper (standards#174) (#45)

  completed successfully:
  Mirror to Git Forges#194:Commitedf8d6epushedbyhyperpolymath
  main

  May 26, 20266m 38s
  More actions for workflow run 194

• fix(gui): make headless GUI path feature-independent (#44)

  completed successfully:
  Mirror to Git Forges#193:Commitda58c21pushedbyhyperpolymath
  main

  May 26, 202613s
  More actions for workflow run 193

• docs: post-rename hygiene + stale-fact refresh (26 files) (#40)

  completed successfully:
  Mirror to Git Forges#192:Commit43d36capushedbyhyperpolymath
  main

  May 26, 202615s
  More actions for workflow run 192

• chore(msrv): feature-gate eframe/egui behind opt-in gui feature (#39)

  skipped:
  Mirror to Git Forges#191:Commit2e7b1abpushedbyhyperpolymath
  main

  May 26, 20262s
  More actions for workflow run 191

• chore(pre-commit): SHA-pin a2ml + k9 hooks (#37)

  skipped:
  Mirror to Git Forges#190:Commit0d54dc3pushedbyhyperpolymath
  main

  May 26, 20261s
  More actions for workflow run 190

• docs(readme): repair stale badges, version, link and counts (#35)

  skipped:
  Mirror to Git Forges#189:Commitabb4ecdpushedbyhyperpolymath
  main

  May 26, 20262s
  More actions for workflow run 189

• Mirror to Git Forges

  skipped:
  Mirror to Git Forges#188:byhyperpolymath
  main

  May 26, 20261s
  More actions for workflow run 188

• Mirror to Git Forges

  skipped:
  Mirror to Git Forges#187:byhyperpolymath
  main

  May 26, 20261s
  More actions for workflow run 187

• fix: unbreak rust-ci Test job (clippy 1.95 + missing fields) (#38)

  skipped:
  Mirror to Git Forges#186:Commita9b23d8pushedbyhyperpolymath
  main

  May 26, 20261s
  More actions for workflow run 186

• fix(ci): unred four workflows blocking every push since 2026-05-23 (#34)

  skipped:
  Mirror to Git Forges#185:Commit4e129acpushedbyhyperpolymath
  main

  May 26, 20261s
  More actions for workflow run 185

• Update issue templates

  skipped:
  Mirror to Git Forges#184:Commitcaa407fpushedbyhyperpolymath
  main

  May 23, 20261s
  More actions for workflow run 184

• chore(deps): bump serde_json in the rust-minor group (#30)

  skipped:
  Mirror to Git Forges#183:Commit14d1290pushedbyhyperpolymath
  main

  May 23, 20261s
  More actions for workflow run 183

• chore: migrate license from PMPL-1.0-or-later to MPL-2.0

  skipped:
  Mirror to Git Forges#182:Commit136b38bpushedbyhyperpolymath
  main

  May 22, 20262s
  More actions for workflow run 182

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

  skipped:
  Mirror to Git Forges#181:Commitd89cb0cpushedbyhyperpolymath
  main

  May 20, 20261s
  More actions for workflow run 181

• ci: redistribute concurrency-cancel guard to read-only check workflow…

  skipped:
  Mirror to Git Forges#180:Commit35fb302pushedbyhyperpolymath
  main

  May 18, 20261s
  More actions for workflow run 180

• harden(ci): concurrency-cancel guard on canonical check workflows (#28)

  skipped:
  Mirror to Git Forges#179:Commit0dd6990pushedbyhyperpolymath
  main

  May 18, 20262s
  More actions for workflow run 179

• fix(ci): bump a2ml/k9-validate-action pins to canonical (standards#85…

  skipped:
  Mirror to Git Forges#178:Commite2e8a01pushedbyhyperpolymath
  main

  May 17, 20261s
  More actions for workflow run 178

• fix(ci): sync hypatia-scan.yml to canonical (kill cd-scanner build dr…

  skipped:
  Mirror to Git Forges#177:Commite93b9c3pushedbyhyperpolymath
  main

  May 17, 20261s
  More actions for workflow run 177

• chore(ci): replace per-repo governance copies with shared bundle wrapper

  skipped:
  Mirror to Git Forges#176:Commit828632apushedbyhyperpolymath
  main

  May 17, 20261s
  More actions for workflow run 176

• chore(ci): bump k9/a2ml validate-action pins to current main (#24)

  skipped:
  Mirror to Git Forges#175:Commita91b583pushedbyhyperpolymath
  main

  May 16, 20261s
  More actions for workflow run 175

• ci: SHA-pin hyperpolymath validate-actions in dogfood-gate

  skipped:
  Mirror to Git Forges#174:Commit6aa42cdpushedbyhyperpolymath
  main

  May 12, 20261s
  More actions for workflow run 174

• fix(ci): remove invalid job-level hashFiles call from secret-scanner.yml

  skipped:
  Mirror to Git Forges#173:Commitd175aedpushedbyhyperpolymath
  main

  May 12, 20261s
  More actions for workflow run 173

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

  skipped:
  Mirror to Git Forges#172:Commit3b89a42pushedbyhyperpolymath
  main

  May 11, 20261s
  More actions for workflow run 172