Plug soundness hole for reach capabilities #3171

Sign in to view logs

Triggered via pull request March 31, 2024 09:18

odersky

synchronize #20051

dotty-staging:plug-reaches-soundness

Status Success

Total duration 1m 18s

Artifacts –

spec.yml

on: pull_request