Add repository property for tools input
#8537
| Job | Run time |
|---|---|
| 43s | |
| 40s | |
| 55s | |
| 50s | |
| 1m 14s | |
| 39s | |
| 5m 1s |
tools input
#8537
| Job | Run time |
|---|---|
| 43s | |
| 40s | |
| 55s | |
| 50s | |
| 1m 14s | |
| 39s | |
| 5m 1s |