Pip install whl was too earlier

runtimeverification · Mar 14, 2024 · 4572964 · 4572964
1 parent 985dfd3
commit 4572964
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 6 deletions.
diff --git 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
@@ -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