Plug soundness hole for reach capabilities #3172

Sign in to view logs

Triggered via pull request March 31, 2024 11:33

odersky

synchronize #20051

dotty-staging:plug-reaches-soundness

Status Success

Total duration 1m 26s

Artifacts –

spec.yml

on: pull_request