Missing an environment varibale for foundry profile in container

af6e2bf5 · F-WRunTime · 9bc7c3f3 · af6e2bf5
Commit af6e2bf5 authored Dec 07, 2023 by F-WRunTime
Show whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

run-kontrol.sh ...ges/contracts-bedrock/test/kontrol/kontrol/run-kontrol.sh +1 -0

No files found.
--- a/packages/contracts-bedrock/test/kontrol/kontrol/run-kontrol.sh
+++ b/packages/contracts-bedrock/test/kontrol/kontrol/run-kontrol.sh
@@ -60,6 +60,7 @@ start_docker () {
      --interactive                   \
      --tty                           \
      --detach                        \
+      --env FOUNDRY_PROFILE=${FOUNDRY_PROFILE} \
      --workdir /home/user/workspace  \
    runtimeverificationinc/kontrol:ubuntu-jammy-${KONTROL_RELEASE}