From fa899453b9b53436c69858a10b4ad7465b9486f6 Mon Sep 17 00:00:00 2001 From: Jose Luis Rivero Date: Fri, 1 Mar 2024 19:26:57 +0100 Subject: [PATCH] Clean up and require gflags Signed-off-by: Jose Luis Rivero --- .github/workflows/ci.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml index 8e76384..37e16f7 100644 --- a/.github/workflows/ci.yaml +++ b/.github/workflows/ci.yaml @@ -32,8 +32,8 @@ jobs: shell: bash working-directory: ros_ws run: | + # gflags is required by drake_cmake_installed + apt-get update && apt-get install -y libgflags-dev . /opt/ros/rolling/setup.bash . install/setup.bash - cat /home/runner/work/ros-drake-vendor/ros-drake-vendor/ros_ws/install/share/drake/cmake/drake-extras.cmake - colcon graph - colcon build --merge-install --packages-select drake_cmake_installed drake_cmake_installed_apt drake_ament_cmake_installed --event-handlers=console_direct+ --cmake-args --trace-expand --trace-source=/home/runner/work/ros-drake-vendor/ros-drake-vendor/ros_ws/install/share/drake/cmake/drake-extras.cmake + colcon build --merge-install --packages-select drake_cmake_installed drake_cmake_installed_apt drake_ament_cmake_installed --event-handlers=console_direct+