fix

ctu-mrs · Dec 2, 2023 · c7fd502 · c7fd502
1 parent a8e4e41
commit c7fd502
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 ---------------- |