Skip to content

Commit 1288e36

Browse files
authored
Merge branch 'main' into pr-rover_remove_deprecated_module
2 parents 4fa8665 + efc3e64 commit 1288e36

File tree

2 files changed

+8
-3
lines changed

2 files changed

+8
-3
lines changed

.github/workflows/ros_integration_tests.yml

Lines changed: 7 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -11,13 +11,11 @@ on:
1111
- 'main'
1212
paths-ignore:
1313
- 'docs/**'
14-
- '.github/**'
1514
pull_request:
1615
branches:
17-
- '*'
16+
- '**'
1817
paths-ignore:
1918
- 'docs/**'
20-
- '.github/**'
2119

2220
jobs:
2321
build:
@@ -33,6 +31,12 @@ jobs:
3331
- name: Git Ownership Workaround
3432
run: git config --system --add safe.directory '*'
3533

34+
- name: Update ROS Keys
35+
run: |
36+
sudo rm /etc/apt/sources.list.d/ros2.list && \
37+
sudo curl -sSL https://raw.githubusercontent.com/ros/rosdistro/master/ros.key -o /usr/share/keyrings/ros-archive-keyring.gpg && \
38+
echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/ros-archive-keyring.gpg] http://packages.ros.org/ros2/ubuntu $(. /etc/os-release && echo $UBUNTU_CODENAME) main" | sudo tee /etc/apt/sources.list.d/ros2.list > /dev/null
39+
3640
- name: Install gazebo
3741
run: |
3842
apt update && apt install -y gazebo11 libgazebo11-dev gstreamer1.0-plugins-bad gstreamer1.0-plugins-base gstreamer1.0-plugins-good gstreamer1.0-plugins-ugly libgstreamer-plugins-base1.0-dev

Tools/setup/requirements.txt

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -27,3 +27,4 @@ six>=1.12.0
2727
toml>=0.9
2828
sympy>=1.10.1
2929
pycryptodome
30+
lark

0 commit comments

Comments
 (0)