blind fix

LPCIC · Nov 23, 2023 · ffae80c · ffae80c
1 parent 8713ff5
commit ffae80c
Showing 1 changed file with 1 addition and 3 deletions.
diff --git 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