Delete unused CodeQL bundles from the toolcache before downloading - #4124

Open

henrymercer wants to merge 10 commits into

mainfrom

henrymercer/toolcache-bundle-cleanup

Commits on Sep 4, 2026

Distinguish GitHub-hosted runners from ones that look hosted

henrymercer
and
Copilot
committed
ceb85f2
Add a helper to delete the CodeQL tools from the toolcache

henrymercer
and
Copilot
committed
762a5ed
Delete unused CodeQL bundles from the toolcache before downloading

henrymercer
and
Copilot
committed
4a0b22e
Enable toolcache cleanup in the multi-language PR check

henrymercer
and
Copilot
committed
a7a90f3
Add a changelog note

henrymercer
and
Copilot
committed
2681b03
Address Copilot review feedback

henrymercer
and
Copilot
committed
1331773
Only clean up a toolcache on the workspace filesystem

henrymercer
and
Copilot
committed
e13c3dc
Address review comments

henrymercer
and
Copilot
committed
31da345

Commits on Sep 7, 2026