Skip to content
Back to pull request #22488

Widen skolem types when adding parent refinements #24718

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #24718

Triggered via pull request February 5, 2025 11:10
@KacperFKorbanKacperFKorban
synchronize #22488
dotty-staging:fix-i22456
Status Success
Total duration 16m 15s
Artifacts –

scaladoc.yaml

on: pull_request
build
16m 5s
build
stdlib-sourcelinks-test
0s
stdlib-sourcelinks-test
Fit to window
Zoom out
Zoom in