Accept GitHub release URLs in the tools input - #4179

Closed

henrymercer wants to merge 9 commits into

henrymercer/select-bundles-from-releasesfrom

henrymercer/release-url-tools-input

Commits on Sep 25, 2026

Document how the CodeQL tools are versioned in the toolcache

henrymercer
and
Copilot
committed
db99327
Extract the toolcache lookup from getCodeQLSource

henrymercer
and
Copilot
committed
78a5dc2
Parse GitHub release URLs

henrymercer
and
Copilot
committed
4a4922e
Read the CLI version of a release from its assets

henrymercer
and
Copilot
committed
e8f5d72
Look up releases requested by URL

henrymercer
and
Copilot
committed
4cea925
Accept GitHub release URLs in the tools input

henrymercer
and
Copilot
committed
0e574bc
Extract the default bundle sources from selectDefaultBundle

henrymercer
and
Copilot
committed
17f1478
Reuse the toolcache for stable releases in the CodeQL Action repositories

henrymercer
and
Copilot
committed
c1e8d8d
Add the PR link to the changelog entry

henrymercer
and
Copilot
committed
9bd4b5e