Update main.yml

LPCIC · Jul 30, 2024 · e8b295b · e8b295b
1 parent e084d58
commit e8b295b
Showing 1 changed file with 1 addition and 5 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -79,11 +79,7 @@ jobs:
           opam exec -- cygpath -m ${{ github.workspace }} | % {$_ -replace "^","workspace=" }  | Out-File -FilePath $Env:GITHUB_ENV -Encoding utf8 -Append
           opam exec -- sed -i ' ' tests/sources/*.elpi
           & "setup-x86_64.exe" -v -q -P time,which,wdiff
-
-#          opam exec -- which which
-#          opam exec -- time which
-#          opam exec -- which time
-#          opam exec -- which wdiff
+          opam exec -- which time
 
 # Build ######################################################################
 #