Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• fix(res-to-affine): report the effective engine and fail on degraded …

  skipped:
  Mirror to Git Forges#630:Commit09e92depushedbyhyperpolymath
  main

  Aug 27, 20262s
  More actions for workflow run 630

• docs(policy): ban ReScript explicitly and pin production installs (#726)

  skipped:
  Mirror to Git Forges#629:Commit838f804pushedbyhyperpolymath
  main

  Aug 27, 20262s
  More actions for workflow run 629

• fix(ci): unbreak workflow YAML and add a complete actions.lock (#728)

  skipped:
  Mirror to Git Forges#628:Commit2027684pushedbyhyperpolymath
  main

  Aug 27, 202610s
  More actions for workflow run 628

• refactor: migrate Markdown to AsciiDoc (#725)

  failed at startup:
  Mirror to Git Forges#627:Commit62757bapushedbyhyperpolymath
  main

  Aug 24, 2026Startup failure
  More actions for workflow run 627

• refactor: semantic port TS to AffineScript (#724)

  failed at startup:
  Mirror to Git Forges#626:Commit53c96dcpushedbyhyperpolymath
  main

  Aug 24, 2026Startup failure
  More actions for workflow run 626

• refactor: eradicate TypeScript and NPM/Deno configs (#722)

  failed at startup:
  Mirror to Git Forges#625:Commit4ead72fpushedbyhyperpolymath
  main

  Aug 24, 2026Startup failure
  More actions for workflow run 625

• chore: global textual eradication of Nix and ReScript

  failed at startup:
  Mirror to Git Forges#624:Commit16a8fc7pushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 624

• ci: bump the github-actions group with 2 updates (#721)

  failed at startup:
  Mirror to Git Forges#623:Commit61d5bc8pushedbyhyperpolymath
  main

  Aug 23, 2026Startup failure
  More actions for workflow run 623

• Delete .github/funding.yml

  failed at startup:
  Mirror to Git Forges#622:Commit45a897dpushedbyhyperpolymath
  main

  Aug 22, 2026Startup failure
  More actions for workflow run 622

• chore: remove rescript example configuration

  failed at startup:
  Mirror to Git Forges#621:Commitf766dcbpushedbyhyperpolymath
  main

  Aug 18, 2026Startup failure
  More actions for workflow run 621

• Merge remote-tracking branch 'origin/hyperpolymath-patch-1'

  failed at startup:
  Mirror to Git Forges#620:Commit0fa434dpushedbyhyperpolymath
  main

  Aug 18, 2026-1s
  More actions for workflow run 620

• chore: remove rescript example configuration

  failed at startup:
  Mirror to Git Forges#619:Commit6638349pushedbyhyperpolymath
  main

  Aug 18, 2026Startup failure
  More actions for workflow run 619

• ci: bump the github-actions group with 2 updates (#718)

  failed at startup:
  Mirror to Git Forges#618:Commit0dfc45cpushedbyhyperpolymath
  main

  Aug 12, 2026Startup failure
  More actions for workflow run 618

• chore(ci): SPDX headers on line 1 and Actions lockfile minted (#717)

  failed at startup:
  Mirror to Git Forges#617:Commitd728da4pushedbyhyperpolymath
  main

  Aug 7, 2026Startup failure
  More actions for workflow run 617

• chore(ci): make Scorecard periodic, not per-push (#716)

  failed at startup:
  Mirror to Git Forges#616:Commita0a1714pushedbyhyperpolymath
  main

  Aug 7, 2026Startup failure
  More actions for workflow run 616

• ci: bump the github-actions group across 1 directory with 4 updates (…

  skipped:
  Mirror to Git Forges#615:Commit5070534pushedbyhyperpolymath
  main

  Aug 3, 202611s
  More actions for workflow run 615

• Make bisect_ppx actually instrument the library — coverage was measur…

  skipped:
  Mirror to Git Forges#614:Commit8f1b06apushedbyhyperpolymath
  main

  Aug 3, 20262s
  More actions for workflow run 614

• docs: record the Coq proof gate and the 2026-07-29 rescue session (#712)

  skipped:
  Mirror to Git Forges#613:Commit707fd5fpushedbyhyperpolymath
  main

  Aug 3, 20262s
  More actions for workflow run 613

• fix(ci): repair the Coq gate on main — coqc not found (#711)

  skipped:
  Mirror to Git Forges#612:Commit7f6cb79pushedbyhyperpolymath
  main

  Aug 3, 20261s
  More actions for workflow run 612

• ci: wire the formal/ Coq proof gate into CI (Refs #513) (#709)

  skipped:
  Mirror to Git Forges#611:Commited4e223pushedbyhyperpolymath
  main

  Jul 28, 20261s
  More actions for workflow run 611

• ci: bump the github-actions group with 3 updates (#707)

  skipped:
  Mirror to Git Forges#610:Commit3e34d7fpushedbyhyperpolymath
  main

  Jul 28, 20262s
  More actions for workflow run 610

• rescue: INT-02 / INT-09 / INT-11 — recover stranded feature work from…

  skipped:
  Mirror to Git Forges#609:Commit9a27760pushedbyhyperpolymath
  main

  Jul 28, 20261s
  More actions for workflow run 609

• ci: bump the github-actions group across 1 directory with 8 updates (…

  skipped:
  Mirror to Git Forges#608:Commit1c169c0pushedbyhyperpolymath
  main

  Jul 23, 20267s
  More actions for workflow run 608

• fix(ci): estate-wide foundational remediation (#706)

  skipped:
  Mirror to Git Forges#607:Commite200bf3pushedbyhyperpolymath
  main

  Jul 23, 20261s
  More actions for workflow run 607

• fix(ci): estate-wide foundational remediation (#705)

  skipped:
  Mirror to Git Forges#606:Commit99b3f29pushedbyhyperpolymath
  main

  Jul 23, 20261s
  More actions for workflow run 606