Governance

Workflow runs for Governance

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

  completed successfully:
  Governance#796:Commit6724421pushedbyhyperpolymath
  main

  Nov 10, 202633s
  More actions for workflow run 796

• feat(interp): a value shares its parts

  completed successfully:
  Governance#795:Pull request#444synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj-values

  Nov 10, 202615m 20s
  More actions for workflow run 795

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

  completed successfully:
  Governance#794:Commitdce26c1pushedbyhyperpolymath
  main

  Nov 10, 202610m 31s
  More actions for workflow run 794

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

  completed successfully:
  Governance#793:Pull request#443synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202622s
  More actions for workflow run 793

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

  completed successfully:
  Governance#792:Pull request#443synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202621s
  More actions for workflow run 792

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

  completed successfully:
  Governance#791:Pull request#443synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202630s
  More actions for workflow run 791

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

  completed successfully:
  Governance#790:Pull request#443openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202618s
  More actions for workflow run 790

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

  completed successfully:
  Governance#789:Commit59e0343pushedbyhyperpolymath
  main

  Nov 10, 202616m 46s
  More actions for workflow run 789

• fix: a constructor checks its arguments against the declaration

  completed successfully:
  Governance#788:Pull request#442openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202618m 3s
  More actions for workflow run 788

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

  completed successfully:
  Governance#787:Commitfc24328pushedbyhyperpolymath
  main

  Nov 10, 202624m 47s
  More actions for workflow run 787

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

  completed successfully:
  Governance#786:Pull request#441synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202628m 55s
  More actions for workflow run 786

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

  completed successfully:
  Governance#785:Pull request#441openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202638m 33s
  More actions for workflow run 785

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

  completed successfully:
  Governance#784:Commit4c29a0apushedbyhyperpolymath
  main

  Nov 10, 202623m 28s
  More actions for workflow run 784

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

  completed successfully:
  Governance#783:Pull request#440openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202625m 28s
  More actions for workflow run 783

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

  completed successfully:
  Governance#782:Commitb8df481pushedbyhyperpolymath
  main

  Nov 10, 20267m 53s
  More actions for workflow run 782

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

  completed successfully:
  Governance#781:Pull request#439openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20264m 59s
  More actions for workflow run 781

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

  completed successfully:
  Governance#780:Commit7252515pushedbyhyperpolymath
  main

  Nov 10, 20265m 36s
  More actions for workflow run 780

• feat: recursive data types as iso-recursive mu, with fold and unfold (E9, D7)

  completed successfully:
  Governance#779:Pull request#438openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20262m 41s
  More actions for workflow run 779

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

  completed successfully:
  Governance#778:Commitfe9e59cpushedbyhyperpolymath
  main

  Nov 10, 20262m 25s
  More actions for workflow run 778

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

  completed successfully:
  Governance#777:Pull request#437openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202628s
  More actions for workflow run 777

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

  completed successfully:
  Governance#776:Commitea310fapushedbyhyperpolymath
  main

  Nov 10, 202655s
  More actions for workflow run 776

• feat(desugar): type aliases and extern types follow the rule of data types; the signing rule in CLAUDE.md

  completed successfully:
  Governance#775:Pull request#436openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202646s
  More actions for workflow run 775

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

  completed successfully:
  Governance#774:Commit26d08fcpushedbyhyperpolymath
  main

  Nov 10, 20261m 47s
  More actions for workflow run 774

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

  completed successfully:
  Governance#773:Pull request#435synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202643s
  More actions for workflow run 773

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

  completed successfully:
  Governance#772:Pull request#435synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202620s
  More actions for workflow run 772