Skip to content

Merge pull request #2117 from actonlang/depth-subtyping #4032

Merge pull request #2117 from actonlang/depth-subtyping

Merge pull request #2117 from actonlang/depth-subtyping #4032

Annotations

1 warning

run-linux (ubuntu, 20.04)

succeeded Jan 29, 2025 in 1m 45s