Repository navigation

Report how long toolcache cleanup takes - #4302

Merged

henrymercer merged 2 commits into

mainfrom

henrymercer/toolcache-cleanup-duration

Nov 9, 2026

Merged

Report how long toolcache cleanup takes#4302
henrymercer merged 2 commits into
mainfrom
henrymercer/toolcache-cleanup-duration

Commits on Nov 4, 2026
- Log how long deleting each CodeQL version from the toolcache takes
  
  henrymercer
  and
  Copilot
  committed
  e7ce43a
- Record how long the toolcache cleanup takes in telemetry
  
  henrymercer
  and
  Copilot
  committed
  e70c041