Merge pull request #10 from ymeister/ghc-9.10 #13
Job | Run time |
---|---|
6m 39s | |
1s | |
6m 38s | |
1s | |
6m 37s | |
1s | |
6m 37s | |
1s | |
6m 21s | |
1s | |
6m 38s | |
1s | |
6m 38s | |
1s | |
6m 38s | |
1s | |
6m 37s | |
1s | |
59m 32s |
Job | Run time |
---|---|
6m 39s | |
1s | |
6m 38s | |
1s | |
6m 37s | |
1s | |
6m 37s | |
1s | |
6m 21s | |
1s | |
6m 38s | |
1s | |
6m 38s | |
1s | |
6m 38s | |
1s | |
6m 37s | |
1s | |
59m 32s |