Repository navigation

Add repository property for `tools` input - #4037

Merged

mbg merged 12 commits into

mainfrom

mbg/repo-props/tools

Jul 24, 2026

Merged

Add repository property for `tools` input#4037
mbg merged 12 commits into
mainfrom
mbg/repo-props/tools

Commits on Jul 22, 2026
- Add `github-codeql-tools` property
  mbg
  committed
  009715d
- Add FF for `tools` repository property
  mbg
  committed
  1f57eb0
- Move `loadRepositoryProperties` to `properties.ts`
  mbg
  committed
  f58d696
- Load repository properties in `setup-codeql` action
  mbg
  committed
  3479f3f
- Add and use `getToolsInput`
  mbg
  committed
  49f2e37
- Check log messages in tests
  mbg
  committed
  32ed58d
- Rename to `ComputedInput`
  mbg
  committed
  be24c11
- Include computed `tools` value in `computed_inputs`
  mbg
  committed
  f9442c4
Commits on Jul 23, 2026
- Merge remote-tracking branch 'origin/main' into mbg/repo-props/tools
  mbg
  committed
  372f165
Commits on Jul 24, 2026
- Merge remote-tracking branch 'origin/main' into mbg/repo-props/tools
  mbg
  committed
  b060f9d
- Remove `name` field from `ComputedInput`
  mbg
  committed
  f170b3a
- Add changelog entry
  mbg
  committed
  1564bfa