Skip to content
scaladoc

Widen skolem types when adding parent refinements #24655

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #24655

Triggered via pull request January 31, 2025 09:49
@KacperFKorbanKacperFKorban
synchronize #22476
fix-i22456
Status Success
Total duration 16m 27s
Artifacts –

scaladoc.yaml

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