Futhark Formatter #7822
Job | Run time |
---|---|
6m 43s | |
4m 27s | |
16m 4s | |
7m 34s | |
3m 39s | |
2m 7s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
40m 34s |
Job | Run time |
---|---|
6m 43s | |
4m 27s | |
16m 4s | |
7m 34s | |
3m 39s | |
2m 7s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
40m 34s |