Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• ci: fix the Codex review findings on the template CI port (#16)

  completed successfully:
  Mirror to Git Forges#17:Commitea6e135pushedbyhyperpolymath
  main

  Oct 27, 202635s
  More actions for workflow run 17

• ci: follow standards to metadatastician; port the template's CI (#15)

  completed successfully:
  Mirror to Git Forges#16:Commitb11b3bcpushedbyhyperpolymath
  main

  Oct 27, 20264m 16s
  More actions for workflow run 16

• proofs: prove F-3 and H-3; remove the template Agda proof (#14)

  failed:
  Mirror to Git Forges#15:Commit37a2f99pushedbyhyperpolymath
  main

  Oct 26, 2026Failure
  More actions for workflow run 15

• ci: fold runtime-policy.yml into governance (cicd-regularisation §14)…

  skipped:
  Mirror to Git Forges#14:Commitbd3129cpushedbyhyperpolymath
  main

  Oct 19, 20269s
  More actions for workflow run 14

• fix(ci): re-pin standards to 75bd599 and give lock records tag refs (…

  skipped:
  Mirror to Git Forges#13:Commitb257919pushedbyhyperpolymath
  main

  Oct 19, 20261s
  More actions for workflow run 13

• docs: an Applications-in-practice section (#11)

  failed at startup:
  Mirror to Git Forges#12:Commite948265pushedbyhyperpolymath
  main

  Oct 15, 2026Startup failure
  More actions for workflow run 12

• fix: restore the template issue references the mint rewrote (#10)

  skipped:
  Mirror to Git Forges#11:Commitf3b0655pushedbyhyperpolymath
  main

  Oct 14, 20262s
  More actions for workflow run 11

• ci: restore the changelog entry #7 dropped; run its two workflow test…

  skipped:
  Mirror to Git Forges#10:Commitcc2d321pushedbyhyperpolymath
  main

  Oct 14, 20262s
  More actions for workflow run 10

• ci: governance pin da2c748 → 934b879; close actions.lock at the new p…

  skipped:
  Mirror to Git Forges#9:Commit5d8b5c1pushedbyhyperpolymath
  main

  Oct 14, 202610s
  More actions for workflow run 9

• fix(ci): clear the two governance checks still red after #6 (#8)

  skipped:
  Mirror to Git Forges#8:Commitabd40fapushedbyhyperpolymath
  main

  Oct 14, 20261s
  More actions for workflow run 8

• fix: mint the repo and clear the five red estate checks (stacked on #…

  skipped:
  Mirror to Git Forges#7:Commit768068fpushedbyhyperpolymath
  main

  Oct 14, 202610s
  More actions for workflow run 7

• build(deps): bump the actions group across 1 directory with 5 updates…

  skipped:
  Mirror to Git Forges#6:Commit0b338c9pushedbyhyperpolymath
  main

  Oct 14, 202610s
  More actions for workflow run 6

• feat: MinMax instance and strict/lax morphisms between instances (#4)

  skipped:
  Mirror to Git Forges#5:Commit71632a2pushedbyhyperpolymath
  main

  Oct 14, 20261s
  More actions for workflow run 5

• docs: kcX is now kyX (#2)

  skipped:
  Mirror to Git Forges#4:Commit638dd3epushedbyhyperpolymath
  main

  Oct 13, 202610s
  More actions for workflow run 4

• Restore CI workflows from docs/ci-pending (token now has the Workflow…

  skipped:
  Mirror to Git Forges#3:Commitcf9235cpushedbyhyperpolymath
  main

  Oct 12, 20262s
  More actions for workflow run 3

• Park CI workflow changes under docs/ci-pending (token lacked the Work…

  skipped:
  Mirror to Git Forges#2:Commitb2c9f1fpushedbyhyperpolymath
  main

  Oct 12, 20267s
  More actions for workflow run 2

• Initial commit

  skipped:
  Mirror to Git Forges#1:Commitc796597pushedbyhyperpolymath
  main

  Oct 12, 20261s
  More actions for workflow run 1