fix win CI

illera88 · Sep 1, 2020 · 9e087f0 · 9e087f0
1 parent 6a1c775
commit 9e087f0
Showing 1 changed file with 1 addition and 13 deletions.
diff --git a/.github/workflows/ci-windows.yml b/.github/workflows/ci-windows.yml
@@ -14,19 +14,7 @@ jobs:
             - uses: actions/checkout@v1
               with:
                   submodules: true
-
-            # - name: Update vcpkg triplet to only build release
-              # run: |                
-                 # cd C:\
-                 # git clone https://github.com/microsoft/vcpkg vcpkg2
-                 # cd vcpkg2
-                 # echo "aaaaaaaaaaaaaaaaaaaaaaaaa"
-                 # C:\vcpkg2\bootstrap-vcpkg.bat
-                 # vcpkg install z3 --triplet x64-windows-static
-                 # type C:\vcpkg\buildtrees\z3\install-x64-windows-static-rel-out.log
-                 # echo "aaaaaaaaaaaaaaaaaaaaaaaaa"
-                 # type C:\vcpkg\buildtrees\z3\install-x64-windows-static-rel-err.log
-
+
             - name: Build Triton dependencies with vcpkg for x64.
               run: |
                   "`r`nset(VCPKG_BUILD_TYPE release)" | Add-Content "$env:VCPKG_INSTALLATION_ROOT\triplets\x64-windows-static.cmake"