WIP: --merge-devel

DFKI-NI · Feb 2, 2023 · 066441f · 066441f
1 parent 888e55e
commit 066441f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/github-actions.yml b/.github/workflows/github-actions.yml
@@ -33,6 +33,7 @@ jobs:
         catkin init
         catkin config -j 1 -p 1
         catkin config --extend /opt/ros/noetic
+        catkin config --merge-devel # workaround for https://github.com/catkin/catkin_tools/issues/376
         catkin build --limit-status-rate 0.1 --no-notify
     - name: Run pre-commit hooks
       run: |