Skip to content

CI: Fix docker builds - #3817

Merged
rhaschke merged 4 commits into
moveit:mainfrom
rhaschke:main
Aug 14, 2026
Merged

CI: Fix docker builds#3817
rhaschke merged 4 commits into
moveit:mainfrom
rhaschke:main

Conversation

@rhaschke

Copy link
Copy Markdown
Contributor
  • Use ros-testing repo for ci-testing images
  • Fix broken "Check for apt updates" step: was referring to undefined image variable
  • Ignore missing packages in ci image
  • Switch Lyrical to ci-testing

- Use ros-testing repo for ci-testing images
- Fix broken "Check for apt updates" step: was referring to undefined image variable
- Ignore missing packages in ci image
... to avoid duplicate building of MoveIt2 source
@rhaschke
rhaschke merged commit 170474d into moveit:main Aug 14, 2026
28 of 34 checks passed
@github-project-automation github-project-automation Bot moved this to ✅ Done in MoveIt Aug 14, 2026
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.

1 participant