difftest: nextest support and speedups #725
| Job | Run time |
|---|---|
| 7m 48s | |
| 10m 29s | |
| 15m 22s | |
| 8m 28s | |
| 7m 53s | |
| 9m 54s | |
| 6m 25s | |
| 11m 57s | |
| 15m 47s | |
| 8m 25s | |
| 1m 4s | |
| 8m 8s | |
| 3s | |
| 1h 51m 43s |
| Job | Run time |
|---|---|
| 7m 48s | |
| 10m 29s | |
| 15m 22s | |
| 8m 28s | |
| 7m 53s | |
| 9m 54s | |
| 6m 25s | |
| 11m 57s | |
| 15m 47s | |
| 8m 25s | |
| 1m 4s | |
| 8m 8s | |
| 3s | |
| 1h 51m 43s |