From ffae80ccb90a4a98db916996241140b23e8b2c49 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@Inria.fr>
Date: Fri, 24 Nov 2023 00:10:21 +0100
Subject: [PATCH] blind fix

---
 .github/workflows/main.yml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7cef97bbb..98a7ad6f3 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -83,9 +83,7 @@ jobs:
           opam exec -- cygpath -m ${{ github.workspace }} | % {$_ -replace "^","workspace=" }  | Out-File -FilePath $Env:GITHUB_ENV -Encoding utf8 -Append
           opam exec -- cygpath -m "$Env:CYGWIN_ROOT" | % {$_ -replace "^","cygwin_root=" }  | Out-File -FilePath $Env:GITHUB_ENV -Encoding utf8 -Append
           opam exec -- sed -i ' ' tests/sources/*.elpi
-          & "$Env:CYGWIN_ROOT/setup-x86_64.exe" -q -P time
-          & "$Env:CYGWIN_ROOT/setup-x86_64.exe" -q -P which
-          & "$Env:CYGWIN_ROOT/setup-x86_64.exe" -q -P wdiff
+          & "$Env:CYGWIN_ROOT/setup-x86_64.exe" -v -q -P time,which,wdiff
 
 #          opam exec -- which which
 #          opam exec -- time which