Skip to content
Specification

Move NonEmptyTuple members into Tuple #4813

Sign in to view logs

Move NonEmptyTuple members into Tuple

Move NonEmptyTuple members into Tuple #4813

Triggered via pull request July 31, 2024 12:44
@EugeneFlesselleEugeneFlesselle
synchronize #21291
dotty-staging:tuples/nonempty-ops
Status Success
Total duration 1m 34s
Artifacts –

spec.yml

on: pull_request
specification
1m 24s
specification
Fit to window
Zoom out
Zoom in