Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add generate_parameter_library source build 0.37 until latest release is fixed #2802

Merged
merged 1 commit into from
Apr 24, 2024

Conversation

pac48
Copy link
Contributor

@pac48 pac48 commented Apr 19, 2024

This PR adds generate_parameter_library as a source build to fix the current build failure. This will be needed until the latest release is fixed.

Signed-off-by: Paul Gesel <paulgesel@gmail.com>
@sjahr sjahr added the backport-humble Mergify label that triggers a PR backport to Humble label Apr 24, 2024
@sjahr sjahr merged commit 1f853c3 into moveit:main Apr 24, 2024
9 of 16 checks passed
mergify bot pushed a commit that referenced this pull request Apr 24, 2024
)

Signed-off-by: Paul Gesel <paulgesel@gmail.com>
(cherry picked from commit 1f853c3)

# Conflicts:
#	moveit2.repos
stephanie-eng added a commit that referenced this pull request May 10, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backport-humble Mergify label that triggers a PR backport to Humble
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants