Skip to content
Continuous integration

Introduce unification variable levels and fix unsound generalization #3695

Sign in to view logs

Introduce unification variable levels and fix unsound generalization

Introduce unification variable levels and fix unsound generalization #3695

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, stable)
19m 29s
build-and-test (macos-latest, stable)
20m 49s
40m 18s