Specification

Widen skolem types when adding parent refinements #6820

Sign in to view logs

Triggered via pull request January 31, 2025 13:29

opened #22488

dotty-staging:fix-i22456

Status Success

Total duration 11m 54s

Artifacts –

spec.yml

on: pull_request