From 99f890cb04dbadb0470985873d57e981ae081212 Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Thu, 9 Nov 2023 22:28:51 -0600
Subject: [PATCH] Update Z3 path in CI workflow

---
 .github/workflows/kind2-ci.yml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/kind2-ci.yml b/.github/workflows/kind2-ci.yml
index 4df6af6a7..9a1843079 100644
--- 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'