Debug

Author: zhassan-aws

src/install-kani.sh

@@ -33,6 +33,8 @@ 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