Skip to content
Scala CLA

Widen skolem types when adding parent refinements #20506

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #20506

Run time

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