Skip to content

Touchup CI 🧹#145

Merged
christophfroehlich merged 9 commits intomainfrom
fix/CI
Dec 22, 2025
Merged

Touchup CI 🧹#145
christophfroehlich merged 9 commits intomainfrom
fix/CI

Conversation

@christophfroehlich
Copy link
Collaborator

@christophfroehlich christophfroehlich commented Nov 22, 2025 •
edited
Loading

  • As the docker container was removed with Remove devcontainer #140 we need to use an actively maintained and built container. I propose using that of ros2_control_ci, which is used for all the repos in ros-controls org.
  • Add jazzy + kilted

@christophfroehlich christophfroehlich marked this pull request as draft November 22, 2025 19:39
@christophfroehlich christophfroehlich marked this pull request as ready for review November 22, 2025 20:16
@christophfroehlich christophfroehlich merged commit a16f3b8 into main Dec 22, 2025
30 checks passed
@christophfroehlich christophfroehlich deleted the fix/CI branch December 22, 2025 22:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@bmagyar bmagyar bmagyar approved these changes

@ChrisThrasher ChrisThrasher Awaiting requested review from ChrisThrasher

@nbbrooks nbbrooks Awaiting requested review from nbbrooks

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@christophfroehlich @bmagyar

Comments