Specification

Fix error detected in review of #18699 #430

Sign in to view logs

Triggered via pull request October 29, 2023 16:55

odersky

synchronize #18781

dotty-staging:followup-18699

Status Success

Total duration 1m 46s

Artifacts –

spec.yml

on: pull_request