Merge pull request #9177 from FinleyMcIlwaine/wip/haddock-avoid-recomp #16
Job | Run time |
---|---|
15m 11s | |
14m 24s | |
11m 13s | |
11m 39s | |
11m 58s | |
8m 28s | |
11m 9s | |
2s | |
1h 24m 4s |
Job | Run time |
---|---|
15m 11s | |
14m 24s | |
11m 13s | |
11m 39s | |
11m 58s | |
8m 28s | |
11m 9s | |
2s | |
1h 24m 4s |