v1800-2023: type parameters can now have a type restriction applied #1598
| Job | Run time |
|---|---|
| 19m 5s | |
| 7m 2s | |
| 34m 35s | |
| 12m 15s | |
| 7m 34s | |
| 7m 35s | |
| 6m 59s | |
| 7m 6s | |
| 7m 11s | |
| 10m 52s | |
| 8m 59s | |
| 7m 52s | |
| 2h 17m 5s |
| Job | Run time |
|---|---|
| 19m 5s | |
| 7m 2s | |
| 34m 35s | |
| 12m 15s | |
| 7m 34s | |
| 7m 35s | |
| 6m 59s | |
| 7m 6s | |
| 7m 11s | |
| 10m 52s | |
| 8m 59s | |
| 7m 52s | |
| 2h 17m 5s |