Add repository property for tools input
#4090
| Job | Run time |
|---|---|
| 2m 7s | |
| 2m 21s | |
| 2m 18s | |
| 1m 3s | |
| 2m 22s | |
| 10m 11s |
tools input
#4090
| Job | Run time |
|---|---|
| 2m 7s | |
| 2m 21s | |
| 2m 18s | |
| 1m 3s | |
| 2m 22s | |
| 10m 11s |