Backport #10468: add new options for ghc 9.12 #8261
| Job | Run time |
|---|---|
| 10m 22s | |
| 1h 0m 43s | |
| 58m 12s | |
| 1h 5m 37s | |
| 1h 12m 32s | |
| 1h 6m 19s | |
| 30m 16s | |
| 30m 20s | |
| 37m 4s | |
| 43m 52s | |
| 40m 2s | |
| 44m 1s | |
| 47m 8s | |
| 45m 14s | |
| 1h 31m 3s | |
| 1h 25m 45s | |
| 1h 25m 17s | |
| 1h 44m 37s | |
| 1h 30m 9s | |
| 1h 35m 41s | |
| 1h 48m 5s | |
| 1h 41m 6s | |
| 8m 3s | |
| 14m 4s | |
| 7m 5s | |
| 24m 0s | |
| 7m 32s | |
| 18m 50s | |
| 1s | |
| 0s | |
| 1d 0h 53m 0s |