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