Commit a86de7a3 authored by Inphi's avatar Inphi Committed by GitHub

Fix kontrol script to avoid workspace bind-mount (#9901)

parent 8df191f6
...@@ -154,7 +154,6 @@ start_docker () { ...@@ -154,7 +154,6 @@ start_docker () {
--detach \ --detach \
--env FOUNDRY_PROFILE="$FOUNDRY_PROFILE" \ --env FOUNDRY_PROFILE="$FOUNDRY_PROFILE" \
--workdir /home/user/workspace \ --workdir /home/user/workspace \
-v "$WORKSPACE_DIR":/home/user/workspace \
runtimeverificationinc/kontrol:ubuntu-jammy-"$KONTROL_RELEASE" runtimeverificationinc/kontrol:ubuntu-jammy-"$KONTROL_RELEASE"
copy_to_docker copy_to_docker
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment