Add repository property for tools input
#16377
| Job | Run time |
|---|---|
| 22s | |
| 1m 4s | |
| 1m 36s | |
| 1m 0s | |
| 1m 6s | |
| 1m 23s | |
| 1m 22s | |
| 7s | |
| 8m 0s |
tools input
#16377
| Job | Run time |
|---|---|
| 22s | |
| 1m 4s | |
| 1m 36s | |
| 1m 0s | |
| 1m 6s | |
| 1m 23s | |
| 1m 22s | |
| 7s | |
| 8m 0s |