Change rules for given prioritization #3819

Sign in to view logs

Triggered via pull request May 6, 2024 07:52

odersky

synchronize #19300

dotty-staging:change-given-disambiguation

Status Success

Total duration 1m 15s

Artifacts –

spec.yml

on: pull_request