Plug soundness hole for reach capabilities #17068

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Triggered via pull request March 31, 2024 09:14

odersky

synchronize #20051

dotty-staging:plug-reaches-soundness

Status Success

Total duration 16s

Artifacts –

cla.yml

on: pull_request