Closed andreasabel closed 2 weeks ago
Installing Haskell build-tools (alex, happy) during a Stack build process on Windows is suddenly failing with "permission denied": 20240414.1.0 regression over 20240322.1.0. Did the filesystem access rights change?
Extra info: The location is under C:\sr as created by https://github.com/haskell-actions/setup. See https://github.com/agda/agda/actions/runs/8733365593/job/23961919676#step:1:37:
C:\sr
Download action repository 'haskell-actions/setup@v2' (SHA:ca7ecf7b0c7a4300227b1ab05cda52bf019c174b)
(The version of haskell-action/setup did not change, see https://github.com/agda/agda/actions/runs/8509770751/job/23306000462#step:1:36.)
20240414.1.0 https://github.com/agda/agda/actions/runs/8733365593/job/23961919676#step:10:1402
Yes, worked with 20240322.1.0, see https://github.com/agda/agda/actions/runs/8509770751/job/23306000462#step:10:1384
Stack copying bins to C:\sr\snapshots\dd11c2a9\bin should succeed.
Stack copying bins to C:\sr\snapshots\dd11c2a9\bin fails with "permission denied".
Well, I reproduced this in the public agda/agda repo (see links). Let me know if you need a stand-alone reproducer.
Downstream issue:
Let me investigate this further for a bit. Closing for now, might reopen.
Description
Installing Haskell build-tools (alex, happy) during a Stack build process on Windows is suddenly failing with "permission denied": 20240414.1.0 regression over 20240322.1.0. Did the filesystem access rights change?
Extra info: The location is under
C:\sr
as created by https://github.com/haskell-actions/setup. See https://github.com/agda/agda/actions/runs/8733365593/job/23961919676#step:1:37:(The version of haskell-action/setup did not change, see https://github.com/agda/agda/actions/runs/8509770751/job/23306000462#step:1:36.)
Platforms affected
Runner images affected
Image version and build link
20240414.1.0 https://github.com/agda/agda/actions/runs/8733365593/job/23961919676#step:10:1402
Is it regression?
Yes, worked with 20240322.1.0, see https://github.com/agda/agda/actions/runs/8509770751/job/23306000462#step:10:1384
Expected behavior
Stack copying bins to C:\sr\snapshots\dd11c2a9\bin should succeed.
Actual behavior
Stack copying bins to C:\sr\snapshots\dd11c2a9\bin fails with "permission denied".
Repro steps
Well, I reproduced this in the public agda/agda repo (see links). Let me know if you need a stand-alone reproducer.
Downstream issue: