Specification

Widen type parameters before box adaptation (#23809) #9540

Sign in to view logs

Triggered via push August 26, 2025 21:31

odersky

main

Status Success

Total duration 1m 30s

Artifacts –

spec.yml

on: push