Add repository property for tools input
#5590
| Job | Run time |
|---|---|
| 1m 33s | |
| 2m 58s | |
| 1m 45s | |
| 2m 31s | |
| 8m 47s |
tools input
#5590
| Job | Run time |
|---|---|
| 1m 33s | |
| 2m 58s | |
| 1m 45s | |
| 2m 31s | |
| 8m 47s |