Add repository property for tools input
#8566
| Job | Run time |
|---|---|
| 47s | |
| 44s | |
| 43s | |
| 43s | |
| 57s | |
| 1m 53s | |
| 5m 47s |
tools input
#8566
| Job | Run time |
|---|---|
| 47s | |
| 44s | |
| 43s | |
| 43s | |
| 57s | |
| 1m 53s | |
| 5m 47s |