Skip to content
Specification

Move NonEmptyTuple members into Tuple #5944

Sign in to view logs

Move NonEmptyTuple members into Tuple

Move NonEmptyTuple members into Tuple #5944

Triggered via pull request November 7, 2024 11:06
@EugeneFlesselleEugeneFlesselle
synchronize #21291
dotty-staging:tuples/nonempty-ops
Status Success
Total duration 1m 14s
Artifacts –

spec.yml

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