prefetch: use a separate temporary cache for prefetching #2558
| Job | Run time |
|---|---|
| 1s | |
| 12m 20s | |
| 1m 2s | |
| 12m 13s | |
| 10m 34s | |
| 12m 22s | |
| 11m 42s | |
| 7m 39s | |
| 13m 48s | |
| 11m 39s | |
| 12m 58s | |
| 10m 26s | |
| 13m 26s | |
| 12m 23s | |
| 13m 14s | |
| 7m 48s | |
| 10m 7s | |
| 9m 30s | |
| 11m 44s | |
| 7m 40s | |
| 8m 36s | |
| 7m 15s | |
| 3s | |
| 3h 38m 30s |