Skip to content

Merge pull request #2272 from tweag/automation/update-ghc-9.8 #3888

Merge pull request #2272 from tweag/automation/update-ghc-9.8

Merge pull request #2272 from tweag/automation/update-ghc-9.8 #3888

Job Run time
41s
3m 37s
3m 42s
3m 42s
4m 33s
4m 39s
5m 27s
1m 49s
21m 8s
5m 29s
5m 13s
21m 8s
47m 7s
22m 36s
45m 43s
21m 55s
47m 0s
10m 0s
45m 16s
9m 31s
8m 36s
9m 22s
7m 26s
8m 27s
7m 24s
5m 38s
8m 32s
39m 5s
1h 20m 27s
39m 12s
1h 23m 15s
42m 50s
1h 18m 23s
37m 42s
1h 16m 16s
5m 50s
5m 55s
20m 12s
17m 2s
21s
15h 12m 11s