Merge pull request #487 from pgujjula/fix-haddock-links #208
Job | Run time |
---|---|
2m 54s | |
2m 50s | |
2m 31s | |
2m 37s | |
3m 1s | |
2m 20s | |
2m 5s | |
2m 8s | |
3m 35s | |
2m 57s | |
3m 6s | |
2m 44s | |
2m 21s | |
2m 47s | |
37m 56s |
Job | Run time |
---|---|
2m 54s | |
2m 50s | |
2m 31s | |
2m 37s | |
3m 1s | |
2m 20s | |
2m 5s | |
2m 8s | |
3m 35s | |
2m 57s | |
3m 6s | |
2m 44s | |
2m 21s | |
2m 47s | |
37m 56s |