Always pass ghc-options (backport #8717)
#11478
| Job | Run time |
|---|---|
| 7m 48s | |
| 8m 38s | |
| 5m 51s | |
| 2m 28s | |
| 24m 45s |
ghc-options (backport #8717)
#11478
| Job | Run time |
|---|---|
| 7m 48s | |
| 8m 38s | |
| 5m 51s | |
| 2m 28s | |
| 24m 45s |