Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• ci: bump github/codeql-action/analyze from 4.36.2 to 4.36.3 (#670)

  failed at startup:
  Mirror to Git Forges#580:Commit255c0b4pushedbyhyperpolymath
  main

  Jul 5, 2026Startup failure
  More actions for workflow run 580

• ci: bump github/codeql-action/upload-sarif from 4.36.2 to 4.36.3 (#673)

  failed at startup:
  Mirror to Git Forges#579:Commitfb752c1pushedbyhyperpolymath
  main

  Jul 5, 2026Startup failure
  More actions for workflow run 579

• ci: bump dawidd6/action-send-mail from 6e502825a508b867ab2954ad6343b6…

  failed at startup:
  Mirror to Git Forges#578:Commit9543730pushedbyhyperpolymath
  main

  Jul 5, 2026Startup failure
  More actions for workflow run 578

• ci: bump actions/attest-build-provenance from 2.4.0 to 4.1.1 (#672)

  failed at startup:
  Mirror to Git Forges#577:Commit8ab7e7fpushedbyhyperpolymath
  main

  Jul 5, 2026Startup failure
  More actions for workflow run 577

• ci: bump actions/cache from 5.0.5 to 6.1.0 (#674)

  failed at startup:
  Mirror to Git Forges#576:Commite0da561pushedbyhyperpolymath
  main

  Jul 5, 2026Startup failure
  More actions for workflow run 576

• fix(cleanup): remove affinescript-vite/affinescriptiser self-clone ac…

  failed at startup:
  Mirror to Git Forges#575:Commit8d0494bpushedbyhyperpolymath
  main

  Jul 1, 2026Startup failure
  More actions for workflow run 575

• fix(clade): correct uuid (deterministic v5) (#668)

  failed at startup:
  Mirror to Git Forges#574:Commit227cd2epushedbyhyperpolymath
  main

  Jun 29, 2026Startup failure
  More actions for workflow run 574

• Update README.adoc (#667)

  failed at startup:
  Mirror to Git Forges#573:Commit9e1861bpushedbyhyperpolymath
  main

  Jun 28, 2026Startup failure
  More actions for workflow run 573

• feat(formal): real-lift R-mem (kernel) — linear memory + heap tuple r…

  failed at startup:
  Mirror to Git Forges#572:Commit59dd0f7pushedbyhyperpolymath
  main

  Jun 27, 2026Startup failure
  More actions for workflow run 572

• feat(formal): real-lift R2-loops — backward jumps (Loop/Br/BrIf) + wh…

  failed at startup:
  Mirror to Git Forges#571:Commitea496bdpushedbyhyperpolymath
  main

  Jun 27, 2026Startup failure
  More actions for workflow run 571

• feat(formal): real-lift R2 — structured conditionals (fuel-indexed we…

  failed at startup:
  Mirror to Git Forges#570:Commitbfa3c70pushedbyhyperpolymath
  main

  Jun 27, 2026Startup failure
  More actions for workflow run 570

• feat(ci): package-registry provenance (#662)

  failed at startup:
  Mirror to Git Forges#569:Commit15a2087pushedbyhyperpolymath
  main

  Jun 25, 2026Startup failure
  More actions for workflow run 569

• feat(ci): attest build provenance (#661)

  failed at startup:
  Mirror to Git Forges#568:Commit900ac3apushedbyhyperpolymath
  main

  Jun 25, 2026Startup failure
  More actions for workflow run 568

• chore(clade): backfill [status] lifecycle block (#659)

  failed at startup:
  Mirror to Git Forges#567:Commitf90d57bpushedbyhyperpolymath
  main

  Jun 24, 2026Startup failure
  More actions for workflow run 567

• chore(ci): add dormant push-email notification workflow (#660)

  failed at startup:
  Mirror to Git Forges#566:Commit0fc279dpushedbyhyperpolymath
  main

  Jun 24, 2026Startup failure
  More actions for workflow run 566

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  failed at startup:
  Mirror to Git Forges#565:Commit2e88fdcpushedbyhyperpolymath
  main

  Jun 24, 2026Startup failure
  More actions for workflow run 565

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

  failed at startup:
  Mirror to Git Forges#564:Commit91b9838pushedbyhyperpolymath
  main

  Jun 24, 2026Startup failure
  More actions for workflow run 564

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

  failed at startup:
  Mirror to Git Forges#563:Commite525815pushedbyhyperpolymath
  main

  Jun 22, 2026Startup failure
  More actions for workflow run 563

• chore(licence): set repo primary licence to MPL-2.0 (core tech); keep…

  failed at startup:
  Mirror to Git Forges#562:Commit1f0d4ebpushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 562

• docs(ci): sketch required-check hygiene (human + machine) (#651)

  failed at startup:
  Mirror to Git Forges#561:Commit5ccddffpushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 561

• docs: onboarding polish — tutorial lesson-01 + audience router + STAT…

  failed at startup:
  Mirror to Git Forges#560:Commit81caf8epushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 560

• ci: make the four required status checks reportable on every PR (#645)

  failed at startup:
  Mirror to Git Forges#559:Commit8b33cabpushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 559

• feat(formal): verify + wire Rows.v (P-11 record-row soundness) (#648)

  failed at startup:
  Mirror to Git Forges#558:Commit19bb2e0pushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 558

• fix(release): restore release binaries — immutable-release draft flow…

  failed at startup:
  Mirror to Git Forges#557:Commitb8ba479pushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 557

• feat(formal): real-lift R1 — first real ⟦compile p⟧ = ⟦p⟧ (RealCompil…

  failed at startup:
  Mirror to Git Forges#556:Commit5a42e6epushedbyhyperpolymath
  main

  Jun 21, 2026Startup failure
  More actions for workflow run 556