Add `github-codeql-tools` repository property for tools input #8081

Job	Run time
Ruby analysis (macos-latest, nightly-latest)	1m 10s
Ruby analysis (ubuntu-latest, default)	43s
Ruby analysis (macos-latest, linked)	1m 15s
Ruby analysis (ubuntu-latest, linked)	39s
Ruby analysis (macos-latest, default)	45s
Ruby analysis (ubuntu-latest, nightly-latest)	46s
	5m 18s

Navigation Menu