Makes the reference types sound via a DST #526
| Job | Run time |
|---|---|
| 19s | |
| 1m 52s | |
| 3s | |
| 19s | |
| 14s | |
| 11m 8s | |
| 23s | |
| 2m 12s | |
| 9m 10s | |
| 2m 20s | |
| 2m 29s | |
| 56s | |
| 2m 39s | |
| 3m 37s | |
| 2s | |
| 37m 43s |
| Job | Run time |
|---|---|
| 19s | |
| 1m 52s | |
| 3s | |
| 19s | |
| 14s | |
| 11m 8s | |
| 23s | |
| 2m 12s | |
| 9m 10s | |
| 2m 20s | |
| 2m 29s | |
| 56s | |
| 2m 39s | |
| 3m 37s | |
| 2s | |
| 37m 43s |