Specification

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

Sign in to view logs

Triggered via pull request November 6, 2024 16:11

EugeneFlesselle

synchronize #21287

dotty-staging:tuples/zip

Status Success

Total duration 1m 18s

Artifacts –

spec.yml

on: pull_request