Use zip in Distro Windows.

sireum · Oct 13, 2024 · e19afce · e19afce
1 parent 690d96e
commit e19afce
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 11 deletions.
diff --git a/.github/workflows/CI-distro.yml b/.github/workflows/CI-distro.yml
@@ -295,8 +295,8 @@ jobs:
           call "%SIREUM_HOME%\bin\sireum.bat" setup vscode --extensions "mhutchie.git-graph,ms-python.python,scalameta.metals,rust-lang.rust-analyzer"
           call "%SIREUM_HOME%\bin\build.cmd" native distro --win --pack --vscodium
           move "%SIREUM_HOME%\bin\win\sireum.exe" "%GITHUB_WORKSPACE%\sireum-cli-win-amd64.exe"
-          move "%SIREUM_HOME%\distro\win.tar.gz" "%GITHUB_WORKSPACE%\sireum-ive-win-amd64.tar.gz"
-          move "%SIREUM_HOME%\distro\sireum-ive-vscodium-win-amd64.tar.gz" "%GITHUB_WORKSPACE%\"
+          move "%SIREUM_HOME%\distro\win.zip" "%GITHUB_WORKSPACE%\sireum-ive-win-amd64.zip"
+          move "%SIREUM_HOME%\distro\sireum-ive-vscodium-win-amd64.zip" "%GITHUB_WORKSPACE%\"
       - name: Upload CLI dev
         if: github.ref_type != 'tag'
         uses: svenstaro/upload-release-action@v2
@@ -311,17 +311,17 @@ jobs:
         uses: svenstaro/upload-release-action@v2
         with:
           repo_token: ${{ secrets.GITHUB_TOKEN }}
-          file: sireum-ive-win-amd64.tar.gz
-          asset_name: sireum-ive-win-amd64.tar.gz
+          file: sireum-ive-win-amd64.zip
+          asset_name: sireum-ive-win-amd64.zip
           tag: dev
           overwrite: true
       - name: Upload HAMR dev
         if: github.ref_type != 'tag'
         uses: svenstaro/upload-release-action@v2
         with:
           repo_token: ${{ secrets.GITHUB_TOKEN }}
-          file: sireum-ive-vscodium-win-amd64.tar.gz
-          asset_name: sireum-ive-vscodium-win-amd64.tar.gz
+          file: sireum-ive-vscodium-win-amd64.zip
+          asset_name: sireum-ive-vscodium-win-amd64.zip
           tag: dev
           overwrite: true
       - name: Upload CLI Release
@@ -338,16 +338,16 @@ jobs:
         uses: svenstaro/upload-release-action@v2
         with:
           repo_token: ${{ secrets.GITHUB_TOKEN }}
-          file: sireum-ive-win-amd64.tar.gz
-          asset_name: sireum-ive-win-amd64.tar.gz
+          file: sireum-ive-win-amd64.zip
+          asset_name: sireum-ive-win-amd64.zip
           tag: ${{ github.ref }}
           overwrite: true
       - name: Upload HAMR Release
         if: github.ref_type == 'tag'
         uses: svenstaro/upload-release-action@v2
         with:
           repo_token: ${{ secrets.GITHUB_TOKEN }}
-          file: sireum-ive-vscodium-win-amd64.tar.gz
-          asset_name: sireum-ive-vscodium-win-amd64.tar.gz
+          file: sireum-ive-vscodium-win-amd64.zip
+          asset_name: sireum-ive-vscodium-win-amd64.zip
           tag: ${{ github.ref }}
           overwrite: true
diff --git a/runtime b/runtime