From 13cd4801490938a3f10cb7dc324e2842cc596df6 Mon Sep 17 00:00:00 2001 From: Papa Bakary Camara Date: Tue, 24 Oct 2023 13:20:14 +0200 Subject: [PATCH] Adapt run_in_docker.sh script to Github workflows --- run_in_docker.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/run_in_docker.sh b/run_in_docker.sh index 53faccd8..82bdc7e6 100755 --- a/run_in_docker.sh +++ b/run_in_docker.sh @@ -134,5 +134,5 @@ copy_files "$cid" "$tests_target" "$path_to_service" # Step 9: Execute the specified make target -docker exec -it "$cid" /bin/bash -c "source \$VIRTUAL_ENV/bin/activate && env && $(with_mocked_dependencies "$3") make $tests_target" +docker exec "$cid" /bin/bash -c "source \$VIRTUAL_ENV/bin/activate && env && $(with_mocked_dependencies "$3") make $tests_target"