Merge pull request #1105 from haskell/gnd-key #603
Job | Run time |
---|---|
16m 29s | |
20m 57s | |
17m 7s | |
18m 40s | |
20m 13s | |
21m 50s | |
22m 20s | |
21m 53s | |
22m 29s | |
3h 1m 58s |
Job | Run time |
---|---|
16m 29s | |
20m 57s | |
17m 7s | |
18m 40s | |
20m 13s | |
21m 50s | |
22m 20s | |
21m 53s | |
22m 29s | |
3h 1m 58s |