Plug soundness hole for reach capabilities #3170

Sign in to view logs

Triggered via pull request March 31, 2024 09:14

odersky

synchronize #20051

dotty-staging:plug-reaches-soundness

Status Success

Total duration 1m 38s

Artifacts –

spec.yml

on: pull_request