Lock Sync Gate

Workflow runs for Lock Sync Gate

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

  completed successfully:
  Lock Sync Gate#169:Commit6724421pushedbyhyperpolymath
  main

  Nov 10, 20267s
  More actions for workflow run 169

• feat(interp): a value shares its parts

  completed successfully:
  Lock Sync Gate#168:Pull request#444synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj-values

  Nov 10, 20264m 39s
  More actions for workflow run 168

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

  completed successfully:
  Lock Sync Gate#167:Commitdce26c1pushedbyhyperpolymath
  main

  Nov 10, 202659s
  More actions for workflow run 167

• feat(interp): a value shares its parts

  completed successfully:
  Lock Sync Gate#166:Pull request#444synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj-values

  Nov 10, 20268s
  More actions for workflow run 166

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

  completed successfully:
  Lock Sync Gate#165:Pull request#443synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20269s
  More actions for workflow run 165

• feat(interp): a value shares its parts

  completed successfully:
  Lock Sync Gate#164:Pull request#444synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj-values

  Nov 10, 20268s
  More actions for workflow run 164

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

  completed successfully:
  Lock Sync Gate#163:Pull request#443synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20266s
  More actions for workflow run 163

• feat(interp): a value shares its parts

  completed successfully:
  Lock Sync Gate#162:Pull request#444synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj-values

  Nov 10, 20267s
  More actions for workflow run 162

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

  completed successfully:
  Lock Sync Gate#161:Pull request#443synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202610s
  More actions for workflow run 161

• feat(interp): a value shares its parts

  completed successfully:
  Lock Sync Gate#160:Pull request#444openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj-values

  Nov 10, 202611s
  More actions for workflow run 160

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

  completed successfully:
  Lock Sync Gate#159:Pull request#443openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20268s
  More actions for workflow run 159

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

  completed successfully:
  Lock Sync Gate#158:Commit59e0343pushedbyhyperpolymath
  main

  Nov 10, 202610m 46s
  More actions for workflow run 158

• fix: a constructor checks its arguments against the declaration

  completed successfully:
  Lock Sync Gate#157:Pull request#442openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202612m 7s
  More actions for workflow run 157

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

  completed successfully:
  Lock Sync Gate#156:Commitfc24328pushedbyhyperpolymath
  main

  Nov 10, 202613m 4s
  More actions for workflow run 156

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

  completed successfully:
  Lock Sync Gate#155:Pull request#441synchronizebyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202613m 31s
  More actions for workflow run 155

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

  cancelled:
  Lock Sync Gate#154:Pull request#441openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20269m 51s
  More actions for workflow run 154

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

  completed successfully:
  Lock Sync Gate#153:Commit4c29a0apushedbyhyperpolymath
  main

  Nov 10, 20261m 55s
  More actions for workflow run 153

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

  completed successfully:
  Lock Sync Gate#152:Pull request#440openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20262m 52s
  More actions for workflow run 152

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

  completed successfully:
  Lock Sync Gate#151:Commitb8df481pushedbyhyperpolymath
  main

  Nov 10, 20264m 16s
  More actions for workflow run 151

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

  completed successfully:
  Lock Sync Gate#150:Pull request#439openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

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

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

  completed successfully:
  Lock Sync Gate#149:Commit7252515pushedbyhyperpolymath
  main

  Nov 10, 20261m 14s
  More actions for workflow run 149

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

  completed successfully:
  Lock Sync Gate#148:Pull request#438openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 20261m 40s
  More actions for workflow run 148

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

  completed successfully:
  Lock Sync Gate#147:Commitfe9e59cpushedbyhyperpolymath
  main

  Nov 10, 20268s
  More actions for workflow run 147

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

  completed successfully:
  Lock Sync Gate#146:Pull request#437openedbyhyperpolymath
  claude/e2e-language-pass-ow72tj

  Nov 10, 202610s
  More actions for workflow run 146

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

  completed successfully:
  Lock Sync Gate#145:Commitea310fapushedbyhyperpolymath
  main

  Nov 10, 20267s
  More actions for workflow run 145