Skip to content

Remove unnecessary dependency maturin#665

Merged
Flova merged 1 commit intomainfrom
cleanup/remove_maturin_dep
Mar 11, 2025
Merged

Remove unnecessary dependency maturin#665
Flova merged 1 commit intomainfrom
cleanup/remove_maturin_dep

Conversation

@jaagut
Copy link
Copy Markdown
Member

@jaagut jaagut commented Mar 11, 2025

Summary

Proposed changes

Related issues

Checklist

  • Run colcon build
  • Write documentation
  • Test on your machine
  • Test on the robot
  • Create issues for future work
  • Triage this PR and label it

@github-project-automation github-project-automation bot moved this to 🆕 New in Software Mar 11, 2025
@jaagut jaagut requested a review from Flova March 11, 2025 12:39
@jaagut jaagut self-assigned this Mar 11, 2025
@jaagut jaagut moved this from 🆕 New to 👀 In review in Software Mar 11, 2025
@Flova Flova merged commit 848fadb into main Mar 11, 2025
2 checks passed
@Flova Flova deleted the cleanup/remove_maturin_dep branch March 11, 2025 13:05
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Software Mar 11, 2025
JanNiklasFeld added a commit that referenced this pull request Mar 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

2 participants