Specification

Combine cases of `Tuple.Zip` disjoint from `(h1 : t1, h2 : t2)` #5983

Sign in to view logs

Triggered via pull request November 12, 2024 09:13

EugeneFlesselle

synchronize #21287

dotty-staging:tuples/zip

Status Success

Total duration 1m 22s

Artifacts –

spec.yml

on: pull_request