Skip to content

Merge pull request #2284 from tweag/automation/update-ghc-9.12 #375

Merge pull request #2284 from tweag/automation/update-ghc-9.12

Merge pull request #2284 from tweag/automation/update-ghc-9.12 #375

Job Run time
4s
4m 35s
4m 41s
5m 30s
4m 36s
5m 15s
7m 45s
9m 15s
3m 47s
3m 46s
4m 59s
4m 58s
3m 56s
6m 47s
6m 8s
6m 14s
6m 10s
6m 27s
6m 40s
6m 34s
7m 1s
9m 28s
6m 29s
9m 7s
7m 12s
7m 13s
8m 46s
2m 59s
2m 46s
2m 51s
2m 53s
2m 47s
3m 44s
4m 12s
3m 0s
2m 55s
2m 50s
2m 55s
3m 0s
3m 19s
3m 23s
3m 26s
3m 20s
3m 48s
3m 47s
3m 42s
3m 52s
3m 31s
3m 44s
3m 55s
3m 50s
3m 35s
3m 36s
6m 12s
6m 12s
5m 38s
5m 21s
7m 29s
9m 35s
9m 32s
6m 1s
6m 4s
6m 4s
5m 29s
5m 34s
6m 21s
6m 22s
5m 54s
7m 13s
7m 7s
6m 46s
6m 42s
6m 35s
6m 48s
7m 20s
8m 5s
7m 16s
7m 51s
7m 52s
7h 8m 26s