Merge pull request #148 from georgefst/debug-haddock #17
| Job | Run time |
|---|---|
| 21m 26s | |
| 4m 55s | |
| 21m 39s | |
| 21m 19s | |
| 23m 33s | |
| 24m 25s | |
| 24m 39s | |
| 24m 53s | |
| 21m 39s | |
| 24m 42s | |
| 3h 33m 10s |
| Job | Run time |
|---|---|
| 21m 26s | |
| 4m 55s | |
| 21m 39s | |
| 21m 19s | |
| 23m 33s | |
| 24m 25s | |
| 24m 39s | |
| 24m 53s | |
| 21m 39s | |
| 24m 42s | |
| 3h 33m 10s |