Add github-codeql-tools repository property for tools input
#9723
| Job | Run time |
|---|---|
| 4m 15s | |
| 4m 23s | |
| 4m 14s | |
| 4m 21s | |
| 4m 11s | |
| 12m 33s | |
| 11m 40s | |
| 4m 21s | |
| 15m 5s | |
| 15m 45s | |
| 14m 35s | |
| 4m 14s | |
| 4m 23s | |
| 11m 7s | |
| 12m 24s | |
| 11m 55s | |
| 4m 40s | |
| 13m 4s | |
| 2h 37m 10s |