Allow Tuple.Head and Tuple.Tail to work with EmptyTuple #1275
Triggered via pull request
December 5, 2023 09:03
nicolasstucki
Status
Cancelled
Total duration
1m 16s
Artifacts
–
Annotations
2 errors
|
specification
The run was canceled by @nicolasstucki.
|
|
specification
The operation was canceled.
|