From b378f6988253fcdab6468f32420c08667b9001fc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?T=C3=B5ivo=20Leedj=C3=A4rv?= Date: Fri, 20 Dec 2024 12:05:33 +0100 Subject: [PATCH] GHA: Fix a random fault in Windows The cause is not clear but sometimes rm will fail with an error (no permission or hidden or system file...). Just ignore the error. --- .github/workflows/CI.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 7aa958335..8c77ba092 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -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 ";" ##