From c7fd50243b489bdf16a67b7b02504077e9a74f0c Mon Sep 17 00:00:00 2001 From: Tomas Baca Date: Sat, 2 Dec 2023 11:08:46 +0100 Subject: [PATCH] fix --- .ci/test.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/.ci/test.sh b/.ci/test.sh index 861918d2f9..cc9855327a 100755 --- a/.ci/test.sh +++ b/.ci/test.sh @@ -38,6 +38,7 @@ echo "$0: unpack the workspace" mv $ARTIFACT_FOLDER/workspace.tar.gz /tmp cd /tmp tar -xvzf workspace.tar.gz +source $WORKSPACE/devel/setup.bash ## | ---------------- clone the tested package ---------------- |