diff --git a/.ci/test.sh b/.ci/test.sh index 1a4eb45152..9ce75fbd3f 100755 --- a/.ci/test.sh +++ b/.ci/test.sh @@ -54,6 +54,8 @@ else catkin config --profile debug --cmake-args -DCMAKE_BUILD_TYPE=Debug catkin profile set debug + catkin build + fi ## | ---------------- clone the tested package ---------------- |