Merge pull request #512 from well-typed/ghc-9.12 #309
| Job | Run time |
|---|---|
| 4m 16s | |
| 4m 27s | |
| 6m 53s | |
| 7m 25s | |
| 6m 10s | |
| 7m 10s | |
| 6m 30s | |
| 4m 30s | |
| 7m 5s | |
| 7m 22s | |
| 7m 6s | |
| 6m 57s | |
| 1h 15m 51s |
| Job | Run time |
|---|---|
| 4m 16s | |
| 4m 27s | |
| 6m 53s | |
| 7m 25s | |
| 6m 10s | |
| 7m 10s | |
| 6m 30s | |
| 4m 30s | |
| 7m 5s | |
| 7m 22s | |
| 7m 6s | |
| 6m 57s | |
| 1h 15m 51s |