Skip to content
Scala CLA

Widen skolem types when adding parent refinements #20556

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #20556

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1s
1s