Skip to content

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

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

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

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

launchers.yml

on: pull_request
Deploy and Test on Linux x64 architecture
5m 17s
Deploy and Test on Linux x64 architecture
Deploy and Test on Linux ARM64 architecture
0s
Deploy and Test on Linux ARM64 architecture
Deploy and Test on Mac x64 architecture
9m 5s
Deploy and Test on Mac x64 architecture
Deploy and Test on Mac ARM64 architecture
7m 16s
Deploy and Test on Mac ARM64 architecture
Deploy and Test on Windows x64 architecture
7m 44s
Deploy and Test on Windows x64 architecture
Fit to window
Zoom out
Zoom in