diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index 59eff1d..48b1d94 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -48,6 +48,7 @@ jobs: run: ln -s "$GITHUB_WORKSPACE" /catkin_ws/src/mimosa - name: Build mimosa + shell: bash run: | cd /catkin_ws . devel/setup.bash