Skip to content

Build pinocchio from source#262

Merged
christophfroehlich merged 3 commits into
masterfrom
source-pinocchio
May 1, 2026
Merged

Build pinocchio from source#262
christophfroehlich merged 3 commits into
masterfrom
source-pinocchio

Conversation

@christophfroehlich
Copy link
Copy Markdown
Member

Comment thread .github/workflows/rolling-source-build.yml Outdated
@christophfroehlich christophfroehlich linked an issue May 1, 2026 that may be closed by this pull request
@christophfroehlich christophfroehlich added backport-humble Triggers PR backport to ROS 2 humble. backport-jazzy Triggers PR backport to ROS 2 jazzy. labels May 1, 2026
@christophfroehlich christophfroehlich merged commit c4a8643 into master May 1, 2026
10 of 12 checks passed
@christophfroehlich christophfroehlich deleted the source-pinocchio branch May 1, 2026 18:12
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-humble Triggers PR backport to ROS 2 humble. backport-jazzy Triggers PR backport to ROS 2 jazzy.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

CI build job rolling/source failed!

1 participant