prefetch: use a separate temporary cache for prefetching #2572
| Job | Run time |
|---|---|
| 1s | |
| 1s | |
| 55s | |
| 55s | |
| 12m 40s | |
| 12m 40s | |
| 10m 31s | |
| 10m 31s | |
| 12m 57s | |
| 12m 57s | |
| 8m 21s | |
| 8m 21s | |
| 11m 48s | |
| 12m 33s | |
| 11m 51s | |
| 11m 51s | |
| 11m 37s | |
| 12m 22s | |
| 10m 54s | |
| 10m 54s | |
| 13m 35s | |
| 13m 35s | |
| 12m 49s | |
| 12m 49s | |
| 12m 58s | |
| 12m 58s | |
| 7m 33s | |
| 7m 33s | |
| 14m 2s | |
| 14m 2s | |
| 9m 41s | |
| 9m 41s | |
| 11m 49s | |
| 11m 49s | |
| 13m 4s | |
| 13m 4s | |
| 10m 3s | |
| 10m 3s | |
| 7m 32s | |
| 7m 32s | |
| 7m 9s | |
| 7m 9s | |
| 6m 49s | |
| 6m 49s | |
| 3s | |
| 1s | |
| 7h 18m 52s |