Skip to content
Continuous integration

Introduce unification variable levels and fix unsound generalization … #3745

Sign in to view logs

Introduce unification variable levels and fix unsound generalization …

Introduce unification variable levels and fix unsound generalization … #3745

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-test (ubuntu-latest, stable)
2m 30s
build-and-test (macos-latest, stable)
43m 7s
45m 37s