Add option disallow-copy-paths to track down unnecessary copying
#12900
| Job | Run time |
|---|---|
| 1s | |
| 17m 25s | |
| 28m 9s | |
| 36m 57s | |
| 30m 56s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 53m 28s |
disallow-copy-paths to track down unnecessary copying
#12900
| Job | Run time |
|---|---|
| 1s | |
| 17m 25s | |
| 28m 9s | |
| 36m 57s | |
| 30m 56s | |
| 0s | |
| 0s | |
| 0s | |
| 1h 53m 28s |