Skip to content

Add repository property for tools input #4037

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
mbg merged 12 commits into from
Jul 24, 2026
Merged

Add repository property for tools input #4037

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
009715d
Add `github-codeql-tools` property
mbg Jul 22, 2026
1f57eb0
Add FF for `tools` repository property
mbg Jul 22, 2026
f58d696
Move `loadRepositoryProperties` to `properties.ts`
mbg Jul 22, 2026
3479f3f
Load repository properties in `setup-codeql` action
mbg Jul 22, 2026
49f2e37
Add and use `getToolsInput`
mbg Jul 22, 2026
32ed58d
Check log messages in tests
mbg Jul 22, 2026
be24c11
Rename to `ComputedInput`
mbg Jul 22, 2026
f9442c4
Include computed `tools` value in `computed_inputs`
mbg Jul 22, 2026
372f165
Merge remote-tracking branch 'origin/main' into mbg/repo-props/tools
mbg Jul 23, 2026
b060f9d
Merge remote-tracking branch 'origin/main' into mbg/repo-props/tools
mbg Jul 24, 2026
f170b3a
Remove `name` field from `ComputedInput`
mbg Jul 24, 2026
1564bfa
Add changelog entry
mbg Jul 24, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ See the [releases page](https://github.com/github/codeql-action/releases) for th

## [UNRELEASED]

No user facing changes.
- This version of the CodeQL Action adds support for the `tools` input for the `codeql-action/init` step to be specified using a `github-codeql-tools` [repository property](https://docs.github.com/en/organizations/managing-organization-settings/managing-custom-properties-for-repositories-in-your-organization). This feature will gradually be rolled out following the release of this version. Once rolled out, this allows for the CodeQL CLI version that is used in GitHub-managed workflows, such as Default Setup, to be set to a custom value. For example, customers who run into issues with rate limits when a new CodeQL CLI version is released can set the value to `toolcache` to always use the CodeQL CLI version that is available in the runner toolcache. For Advanced Setup workflows, the value provided for `tools` in the workflow definition always takes precedence unless the value of the repository property starts with `!`. [#4037](https://github.com/github/codeql-action/pull/4037)

## 4.37.3 - 22 Jul 2026

Expand Down
137 changes: 101 additions & 36 deletions lib/entry-points.js
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

Loading
Loading