Use bash shell

ethz-asl · Jan 10, 2024 · edddd23 · edddd23
1 parent 80d260a
commit edddd23
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/coverage_report.yml b/.github/workflows/coverage_report.yml
@@ -7,6 +7,7 @@ on:
 
 jobs:
   deploy:
+    name: Deploy coverage report
     environment:
       name: github-pages
       url: ${{ steps.deployment.outputs.url }}
@@ -43,6 +44,8 @@ jobs:
 
       - name: Source ROS
         run: source /opt/ros/${{ matrix.rosdistro }}/setup.bash
+        working-directory: catkin_ws
+        shell: bash
 
       - name: Build lpp
         run: mkdir build && cd build && cmake .. -DCMAKE_BUILD_TYPE="Debug" -DENABLE_COVERAGE=1 && make