Merge pull request #173 from kevinaboos/speed_up_windows_ci

Make CI builds faster: debug builds, better powershell downloads
moxin-org · Jul 25, 2024 · c7a2c74 · c7a2c74
2 parents 969bff1 + d081841
commit c7a2c74
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci-build.yml b/.github/workflows/ci-build.yml
@@ -93,9 +93,10 @@ jobs:
 
       - name: Download WasmEdge
         run: |
+          $ProgressPreference = 'SilentlyContinue'
           Invoke-WebRequest -Uri "https://github.com/WasmEdge/WasmEdge/releases/download/0.14.0/WasmEdge-0.14.0-windows.zip" -OutFile "WasmEdge-0.14.0-windows.zip"
           Expand-Archive -LiteralPath "WasmEdge-0.14.0-windows.zip" -DestinationPath ${{ github.workspace }}
-          tree ${{ github.workspace }}\WasmEdge
+          tree /F ${{ github.workspace }}\WasmEdge
 
       - name: Set up Windows 10 SDK
         uses: GuillaumeFalourd/setup-windows10-sdk-action@v1.11
@@ -109,4 +110,4 @@ jobs:
 
       - name: Test Build
         run: |
-          cargo build --release
+          cargo build