Skip to content

Merge pull request #2258 from tweag/cb/fix-ghc-update #3800

Merge pull request #2258 from tweag/cb/fix-ghc-update

Merge pull request #2258 from tweag/cb/fix-ghc-update #3800

Job Run time
41s
5m 54s
4m 25s
7m 19s
5m 35s
4m 12s
8m 12s
5m 34s
3m 38s
6m 46s
21m 48s
20m 59s
48m 28s
21m 12s
46m 46s
22m 13s
47m 6s
48m 0s
34m 0s
8m 6s
24m 18s
10m 1s
34m 19s
11m 6s
28m 19s
8m 37s
5m 39s
1h 47m 9s
49m 38s
1h 19m 56s
2h 20m 0s
1h 29m 27s
51m 6s
1h 36m 31s
2h 31m 26s
5m 14s
5m 50s
17m 42s
16m 15s
18s
21h 43m 45s