CI Stack Windows fails to install build-tools (permission denied)
andreasabel opened this issue · comments
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:
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