From 4572964a719aa682776cccc70f6080a946763f02 Mon Sep 17 00:00:00 2001
From: rv-jenkins <devops@runtimeverification.com>
Date: Thu, 14 Mar 2024 13:33:04 -0600
Subject: [PATCH] Pip install whl was too earlier

---
 action.yaml             | 1 -
 scripts/install-kaas.sh | 5 -----
 2 files changed, 6 deletions(-)

diff --git a/action.yaml b/action.yaml
index 615b7a2..cd8e39e 100755
--- a/action.yaml
+++ b/action.yaml
@@ -24,7 +24,6 @@ runs:
       shell: bash
       run: |
         pip install poetry 
-        pip install ./kaas/kaas-cli/dist/*.whl
 
     - name: "Install KaaS"
       shell: bash
diff --git a/scripts/install-kaas.sh b/scripts/install-kaas.sh
index ad5137c..e19e9a0 100755
--- a/scripts/install-kaas.sh
+++ b/scripts/install-kaas.sh
@@ -1,11 +1,6 @@
 #!/usr/bin/env bash
 set -eou pipefail
 
-python3 -m venv kaas-env
-echo "$(pwd)/kaas-env/bin" >> $GITHUB_PATH
-# export PATH="$(pwd)/kaas-env/bin:$PATH"
-source $(pwd)/kaas-env/bin/activate
-
 if [ ! -d "kaas" ]; then
   git clone https://${GITHUB_TOKEN}@github.com/runtimeverification/kaas.git
 else