nicco/micro-ROS-Agent
1
0
Fork 0
mirror of https://github.com/micro-ROS/micro-ROS-Agent.git synced 2026-09-06 18:05:17 +02:00
Code Issues Packages Projects Releases Wiki Activity

Add used missing includes (#116) (#124)

Browse Source 
* Signed-off-by: Pablo Garrido <pablogs9@gmail.com>

* Update CI

Signed-off-by: Pablo Garrido <pablogs9@gmail.com>
(cherry picked from commit 2326a201bc)

Co-authored-by: Pablo Garrido <pablogs9@gmail.com>
This commit is contained in:
mergify[bot]
2022-03-17 08:47:50 +01:00
committed by GitHub
co-authored by Pablo Garrido
parent 57bdfc5463
commit 5780038fcc
7 changed files with 25 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.github/workflows/ci.yml
+5 -5
View File
@@ -2,7 +2,7 @@ name: CI micro-ROS Agent
on:
pull_request:
branches:
branches:
- '**'
jobs:
@@ -22,9 +22,9 @@ jobs:
cd /uros_ws
. /opt/ros/$ROS_DISTRO/setup.sh
. install/local_setup.sh
rosdep update
ros2 run micro_ros_setup create_agent_ws.sh
rosdep update --rosdistro=$ROS_DISTRO
ros2 run micro_ros_setup create_agent_ws.sh
- name: Patch branch
run: |
rm -rf /uros_ws/src/uros/micro-ROS-Agent/*
@@ -35,4 +35,4 @@ jobs:
cd /uros_ws
. /opt/ros/$ROS_DISTRO/setup.sh
. install/local_setup.sh
ros2 run micro_ros_setup build_agent.sh
ros2 run micro_ros_setup build_agent.sh