Mirror to Git Forges

Workflow runs for Mirror to Git Forges

• feat(interp): a value shares its parts (#444)

  failed:
  Mirror to Git Forges#561:Commit6724421pushedbyhyperpolymath
  main

  Nov 10, 20262m 53s
  More actions for workflow run 561

• feat(interp): an evaluator with its own stack on the heap (#443)

  failed:
  Mirror to Git Forges#560:Commitdce26c1pushedbyhyperpolymath
  main

  Nov 10, 20267m 51s
  More actions for workflow run 560

• fix: a constructor checks its arguments against the declaration (#442)

  failed:
  Mirror to Git Forges#559:Commit59e0343pushedbyhyperpolymath
  main

  Nov 10, 202614m 34s
  More actions for workflow run 559

• feat: top-level constants; fix a type that a function body fixes late…

  failed:
  Mirror to Git Forges#558:Commitfc24328pushedbyhyperpolymath
  main

  Nov 10, 202617m 26s
  More actions for workflow run 558

• feat(desugar): data types that refer to each other, as nested recursi…

  failed:
  Mirror to Git Forges#557:Commit4c29a0apushedbyhyperpolymath
  main

  Nov 10, 20269m 8s
  More actions for workflow run 557

• fix(desugar): a constructor gets its type arguments from its use (#439)

  failed:
  Mirror to Git Forges#556:Commitb8df481pushedbyhyperpolymath
  main

  Nov 10, 20265m 51s
  More actions for workflow run 556

• feat: recursive data types as iso-recursive mu, with fold and unfold …

  failed:
  Mirror to Git Forges#555:Commit7252515pushedbyhyperpolymath
  main

  Nov 10, 20265m 28s
  More actions for workflow run 555

• feat(wasm): closures of each value type, and named functions as value…

  failed:
  Mirror to Git Forges#554:Commitfe9e59cpushedbyhyperpolymath
  main

  Nov 10, 20262m 37s
  More actions for workflow run 554

• feat(desugar): type aliases and extern types follow the rule of data …

  failed:
  Mirror to Git Forges#553:Commitea310fapushedbyhyperpolymath
  main

  Nov 10, 20262m 5s
  More actions for workflow run 553

• fix: patterns inside a constructor pattern; 3 review findings on #434…

  failed:
  Mirror to Git Forges#552:Commit26d08fcpushedbyhyperpolymath
  main

  Nov 10, 20264m 18s
  More actions for workflow run 552

• feat(parser): unimplemented syntax is refused by name (E7 gate) (#434)

  failed:
  Mirror to Git Forges#551:Commite1551c4pushedbyhyperpolymath
  main

  Nov 10, 20263m 54s
  More actions for workflow run 551

• fix(parser): Hypatia directives and a safe update mode for the gramma…

  failed:
  Mirror to Git Forges#550:Commit85617f4pushedbyhyperpolymath
  main

  Nov 10, 20262m 30s
  More actions for workflow run 550

• feat(grammar): one normative grammar, with a conformance test (E7); 2…

  failed:
  Mirror to Git Forges#549:Commite7e3a97pushedbyhyperpolymath
  main

  Nov 10, 20264m 29s
  More actions for workflow run 549

• feat(E7): match guards, explicit type arguments, data visibility (#431)

  failed:
  Mirror to Git Forges#548:Commitbf20102pushedbyhyperpolymath
  main

  Nov 10, 20263m 13s
  More actions for workflow run 548

• feat(desugar): a qualified constructor takes its arguments (E7, part …

  failed:
  Mirror to Git Forges#547:Commitd343f0epushedbyhyperpolymath
  main

  Nov 10, 20263m 14s
  More actions for workflow run 547

• feat(generics): generic functions, checked once and monomorphised (E7…

  failed:
  Mirror to Git Forges#546:Commit6a422f6pushedbyhyperpolymath
  main

  Nov 10, 20262m 46s
  More actions for workflow run 546

• fix(wasm): scoped arm binders and typed tuple patterns; record the Ac…

  failed:
  Mirror to Git Forges#545:Commit79f4a62pushedbyhyperpolymath
  main

  Nov 10, 20263m 24s
  More actions for workflow run 545

• feat: one front end (E3), wasm runner (E4) and typed code generation …

  failed:
  Mirror to Git Forges#544:Commitdf6883epushedbyhyperpolymath
  main

  Nov 10, 20263m 13s
  More actions for workflow run 544

• fix(ci): repoint standards callers; close the open review findings fr…

  failed at startup:
  Mirror to Git Forges#543:Commitb1b2dd6pushedbyhyperpolymath
  main

  Nov 10, 2026Startup failure
  More actions for workflow run 543

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 h…

  failed:
  Mirror to Git Forges#542:Commitec425b0pushedbyhyperpolymath
  main

  Nov 10, 2026Failure
  More actions for workflow run 542

• build(deps): bump the actions group with 2 updates (#424)

  failed:
  Mirror to Git Forges#541:Commit32d8eb7pushedbyhyperpolymath
  main

  Nov 9, 2026Failure
  More actions for workflow run 541

• build(deps): bump the actions group with 2 updates (#423)

  failed:
  Mirror to Git Forges#540:Commitf28f212pushedbyhyperpolymath
  main

  Nov 6, 2026Failure
  More actions for workflow run 540

• fix(formal): retire the three refuted Admitted statements to Prop (D0…

  failed:
  Mirror to Git Forges#539:Commit51da4d0pushedbyhyperpolymath
  main

  Nov 5, 2026Failure
  More actions for workflow run 539

• docs(survey): v2 architecture + ultracode completion plan, with evide…

  failed:
  Mirror to Git Forges#538:Commitff56844pushedbyhyperpolymath
  main

  Nov 5, 2026Failure
  More actions for workflow run 538

• docs: clarify preservation proof boundaries (#418)

  failed:
  Mirror to Git Forges#537:Commit940ac25pushedbyhyperpolymath
  main

  Nov 3, 2026Failure
  More actions for workflow run 537