Skip to content
Build Kotlin spec on PRs (Docker version)

Drop redundant Widen operator from RHS of subtyping rule #13

Sign in to view logs

Drop redundant Widen operator from RHS of subtyping rule

Drop redundant Widen operator from RHS of subtyping rule #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-spec
6m 15s
6m 15s