Skip to content

Commit

Permalink
GHA: Fix a random fault in Windows
Browse files Browse the repository at this point in the history
The cause is not clear but sometimes rm will fail with an error (no
permission or hidden or system file...). Just ignore the error.
  • Loading branch information
tleedjarv committed Dec 20, 2024
1 parent 8db0681 commit b378f69
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/CI.yml
Original file line number Diff line number Diff line change
Expand Up @@ -256,8 +256,8 @@ jobs:
# [2024-12] Somehow this was not required before a dune update that
# switched from using pkg-config to pkgconf, but doing this should not
# hurt in any case.
rm D:\cygwin\bin\pkgconf*
rm D:\cygwin\bin\pkg-config*
Remove-Item -Force D:\cygwin\bin\pkgconf*
Remove-Item -Force D:\cygwin\bin\pkg-config*
"PKG_CONFIG=D:\gtk\bin\pkgconf.exe" >> "${env:GITHUB_ENV}"
$env:Path = (${env:Path} -split ';' | Where-Object { $_ -Notlike "*cygwin*" }) -join ";"
##
Expand Down

0 comments on commit b378f69

Please sign in to comment.