CI Stack Windows fails to install build-tools (permission denied)

[andreasabel]

Last successful build: https://github.com/agda/agda/actions/runs/8509770751/job/23306000462#step:10:1384

Installing executable happy in C:\sr\snapshots\dd11c2a9\bin

https://github.com/agda/agda/actions/runs/8509770751/job/23306000462#step:1:9

• runner version: '2.314.1'
• Image: windows-2022 Version: 20240322.1.0

First failing build: https://github.com/agda/agda/actions/runs/8733365593/job/23961919676#step:10:1402

Installing executable happy in C:\sr\snapshots\dd11c2a9\bin C:\mingw64\bin\strip.exe: unable to copy file 'C:\sr\snapshots\dd11c2a9\bin\happy.exe'; reason: Permission denied

• runner version: '2.315.0'
• Image: windows-2022 Version: 20240414.1.0

Upstream issue:

• https://github.com/actions/runner-images/issues/9713

[andreasabel]

Latest failure: https://github.com/agda/agda/actions/runs/8770494098/job/24067104320#step:10:415

Rerunning the workflow may fix the issue, e.g.: https://github.com/agda/agda/actions/runs/8763915653/job/24054887088#step:11:509