Skip to content

Add debian as supported OS#17

Merged
claraberendsen merged 8 commits intomainfrom
claraberendsen/add-debian
May 12, 2025
Merged

Add debian as supported OS#17
claraberendsen merged 8 commits intomainfrom
claraberendsen/add-debian

Conversation

@claraberendsen
Copy link
Contributor

@claraberendsen claraberendsen commented May 7, 2025

Description

This PR adds support for the necessary Debian versions. Debian trixie could not be added due to some conflict with the key. See README for details on supported ROS-OS pairs.
For testing of the Debian distributions without ROS debs deployed the infrastructure packages are used to exercise that the workflow works.

@claraberendsen claraberendsen marked this pull request as ready for review May 9, 2025 14:32
Copy link
Member

@cottsay cottsay left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you!

@claraberendsen claraberendsen merged commit c99179a into main May 12, 2025
17 checks passed
@claraberendsen claraberendsen deleted the claraberendsen/add-debian branch May 12, 2025 13:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants