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

Draft

Copilot wants to merge 16 commits into

mainfrom

copilot/add-tools-input-source-repository

Commits on Apr 16, 2026

Add repo property to override codeql-cli version
oscarsj
committed

Commits on May 25, 2026

Refactor resolveToolsInput: accept repository properties as parameter, simplify implementation and tests
Copilot
authored
Merge branch 'main' of https://github.com/github/codeql-action into copilot/add-tools-input-source-repository
oscarsj
committed
Fixed tests due to stale language.ts obscuring language/index.ts import when done at module level
oscarsj
committed