Add repository property for tools input
#10598
| Job | Run time |
|---|---|
| 1m 18s | |
| 1m 14s | |
| 1m 56s | |
| 1m 15s | |
| 1m 41s | |
| 1m 34s | |
| 8m 58s |
tools input
#10598
| Job | Run time |
|---|---|
| 1m 18s | |
| 1m 14s | |
| 1m 56s | |
| 1m 15s | |
| 1m 41s | |
| 1m 34s | |
| 8m 58s |