Skip to content
Scala CLA

Widen skolem types when adding parent refinements #20501

Sign in to view logs

Widen skolem types when adding parent refinements

Widen skolem types when adding parent refinements #20501

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

cla.yml

on: pull_request
check
3s
check
Fit to window
Zoom out
Zoom in