Update Z3 path in CI workflow

kind2-mc · Nov 10, 2023 · 99f890c · 99f890c
1 parent bca6cf4
commit 99f890c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
@@ -45,9 +45,9 @@ jobs:
         Z3_VERSION=4.12.2
         Z3_OS_VERSION=x64-glibc-2.31
         Z3_ZIP_NAME=z3-$Z3_VERSION-$Z3_OS_VERSION
-        wget https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/$Z3_ZIP_NAME.zip
-        unzip $Z3_ZIP_NAME.zip
-        cp $Z3_ZIP_NAME/bin/z3 ./bin/
+        wget -q https://github.com/Z3Prover/z3/releases/download/z3-$Z3_VERSION/$Z3_ZIP_NAME.zip
+        unzip -q $Z3_ZIP_NAME.zip
+        sudo cp $Z3_ZIP_NAME/bin/z3 /usr/bin/
 
     - name: Install Z3 (macOS)
       if: runner.os == 'macOS'