Add github-codeql-tools repository property for tools input
#9737
| Job | Run time |
|---|---|
| 4m 16s | |
| 4m 31s | |
| 4m 20s | |
| 12m 43s | |
| 4m 40s | |
| 12m 47s | |
| 12m 48s | |
| 4m 5s | |
| 10m 55s | |
| 12m 40s | |
| 4m 9s | |
| 4m 10s | |
| 4m 21s | |
| 4m 15s | |
| 12m 43s | |
| 12m 50s | |
| 10m 5s | |
| 11m 3s | |
| 2h 27m 21s |