Skip to content

Conversation

@marc-hanheide
Copy link
Member

This pull request includes changes to the .devcontainer/Dockerfile to update the list of installed packages. The most important changes are the removal of some ROS packages.

@marc-hanheide marc-hanheide self-assigned this Dec 10, 2024
@marc-hanheide marc-hanheide changed the title remove unnecessary ROS packages from Dockerfile full support for ARM64 Dec 11, 2024
@marc-hanheide marc-hanheide merged commit 4d909b7 into 2425-devel Dec 11, 2024
3 checks passed
@marc-hanheide marc-hanheide deleted the remove_zenoh branch December 11, 2024 14:24
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