Add repository property for tools input
#1619
| Job | Run time |
|---|---|
| 49s | |
| 53s | |
| 57s | |
| 50s | |
| 57s | |
| 58s | |
| 1m 1s | |
| 1m 0s | |
| 7m 25s |
tools input
#1619
| Job | Run time |
|---|---|
| 49s | |
| 53s | |
| 57s | |
| 50s | |
| 57s | |
| 58s | |
| 1m 1s | |
| 1m 0s | |
| 7m 25s |