Skip to content

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

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

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

Triggered via pull request November 12, 2024 09:13
Status Success
Total duration 17s
Artifacts

cla.yml

on: pull_request
Fit to window
Zoom out
Zoom in