Remove debug

Author: zhassan-aws

src/install-kani.sh

@@ -2,8 +2,6 @@
 # Copyright Kani Contributors
 # SPDX-License-Identifier: Apache-2.0 OR MIT
 
-set -x
-
 # If version is latest, install directly from cargo
 if [ "$1" == "latest" ]; then
     cargo +stable install --locked kani-verifier;
@@ -35,8 +33,6 @@ if [ $? -eq 0 ]; then
     fi
 
     if [ "$installed_version" != "$requested_version" ]; then
-        echo "Installed version: $installed_version"
-        echo "Requested version: $requested_version"
         echo "::error::The version of Kani installed was different than the one requested"
         exit 1
     fi