Updated CI-distro.yml. [distro]

sireum · Oct 28, 2024 · ab560d9 · ab560d9
1 parent afb0b22
commit ab560d9
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/.github/workflows/CI-distro.yml b/.github/workflows/CI-distro.yml
@@ -101,7 +101,7 @@ jobs:
           echo "" >  Sireum/bin/.binfmt
           tar -cJf sireum-cli-linux-amd64.tar.xz \
             Sireum/bin/sireum Sireum/bin/slang-run.sh Sireum/bin/linux/sireum Sireum/bin/install Sireum/bin/7zz \
-            Sireum/bin/.binfmt Sireum/bin/7zz.ver Sireum/license.txt Sireum/readme.md Sireum/versions.properties
+            Sireum/bin/.binfmt Sireum/bin/.7zz.ver Sireum/license.txt Sireum/readme.md Sireum/versions.properties
           mv "$SIREUM_HOME/distro/linux.tar.xz" sireum-ive-linux-amd64.tar.xz
           mv "$SIREUM_HOME/distro/sireum-codeive-linux-amd64.tar.xz" .
       - name: Upload CLI dev
@@ -177,7 +177,7 @@ jobs:
           "$SIREUM_HOME/bin/build.cmd" native distro --mac --pack --vscodium
           tar -cJf sireum-cli-mac-arm64.tar.xz \
             Sireum/bin/sireum Sireum/bin/slang-run.sh Sireum/bin/mac/sireum Sireum/bin/install Sireum/bin/7zz \
-            Sireum/bin/7zz.ver Sireum/license.txt Sireum/readme.md Sireum/versions.properties
+            Sireum/bin/.7zz.ver Sireum/license.txt Sireum/readme.md Sireum/versions.properties
           mv "$SIREUM_HOME/distro/mac.tar.xz" sireum-ive-mac-arm64.tar.xz
           mv "$SIREUM_HOME/distro/sireum-codeive-mac-arm64.tar.xz" .
       - name: Upload CLI dev
@@ -254,7 +254,7 @@ jobs:
           "$SIREUM_HOME/bin/build.cmd" native distro --mac --pack --vscodium
           tar -cJf sireum-cli-mac-amd64.tar.xz \
             Sireum/bin/sireum Sireum/bin/slang-run.sh Sireum/bin/mac/sireum Sireum/bin/install Sireum/bin/7zz \
-            Sireum/bin/7zz.ver Sireum/license.txt Sireum/readme.md Sireum/versions.properties
+            Sireum/bin/.7zz.ver Sireum/license.txt Sireum/readme.md Sireum/versions.properties
           mv "$SIREUM_HOME/distro/mac.tar.xz" sireum-ive-mac-amd64.tar.xz
           mv "$SIREUM_HOME/distro/sireum-codeive-mac-amd64.tar.xz" .
       - name: Upload CLI dev
@@ -342,7 +342,7 @@ jobs:
           call "%SIREUM_HOME%\bin\build.cmd" native distro --win --pack --vscodium
           copy C:\Windows\System32\vcruntime140.dll Sireum\bin\win\
           copy C:\Windows\System32\vcruntime140_1.dll Sireum\bin\win\
-          tar -acf sireum-cli-win-amd64.zip Sireum\bin\sireum.bat Sireum\bin\slang-run.bat Sireum\bin\install Sireum\bin\7zz.com Sireum\bin\7zz.ver Sireum\bin\win\sireum.exe Sireum\bin\win\vcruntime140.dll Sireum\bin\win\vcruntime140_1.dll Sireum\license.txt Sireum\readme.md Sireum\versions.properties
+          tar -acf sireum-cli-win-amd64.zip Sireum\bin\sireum.bat Sireum\bin\slang-run.bat Sireum\bin\install Sireum\bin\7zz.com Sireum\bin\.7zz.ver Sireum\bin\win\sireum.exe Sireum\bin\win\vcruntime140.dll Sireum\bin\win\vcruntime140_1.dll Sireum\license.txt Sireum\readme.md Sireum\versions.properties
           move "%SIREUM_HOME%\distro\win.7z" "%GITHUB_WORKSPACE%\sireum-ive-win-amd64.7z"
           move "%SIREUM_HOME%\distro\sireum-codeive-win-amd64.zip" "%GITHUB_WORKSPACE%\"
       - name: Upload CLI dev