Another fix for data race #6985
| Job | Run time |
|---|---|
| 38m 30s | |
| 14m 35s | |
| 7m 32s | |
| 40m 49s | |
| 10m 28s | |
| 8m 0s | |
| 7m 30s | |
| 12m 35s | |
| 8m 55s | |
| 8m 36s | |
| 6m 46s | |
| 10m 44s | |
| 8m 2s | |
| 9m 56s | |
| 12m 11s | |
| 9m 48s | |
| 3h 34m 57s |
| Job | Run time |
|---|---|
| 38m 30s | |
| 14m 35s | |
| 7m 32s | |
| 40m 49s | |
| 10m 28s | |
| 8m 0s | |
| 7m 30s | |
| 12m 35s | |
| 8m 55s | |
| 8m 36s | |
| 6m 46s | |
| 10m 44s | |
| 8m 2s | |
| 9m 56s | |
| 12m 11s | |
| 9m 48s | |
| 3h 34m 57s |