Specification

Correctly prettify names in coverage info #1716

Sign in to view logs

Triggered via pull request January 4, 2024 21:18

synchronize #18542

dotty-staging:fix-coverage-info

Status Success

Total duration 1m 24s

Artifacts –

spec.yml

on: pull_request