Skip to content

micro-ROS Library auto-update 19-05-2025 06:15#1417

Merged
4ntn merged 1 commit intojazzyfrom
autoupdate_micro_ros_rpipico_jazzy
May 19, 2025
Merged

micro-ROS Library auto-update 19-05-2025 06:15#1417
4ntn merged 1 commit intojazzyfrom
autoupdate_micro_ros_rpipico_jazzy

Conversation

@pablogs9
Copy link
Copy Markdown
Member

This PR is autogenerated and updates the micro-ROS Raspberry Pi Pico library. Close and reopen to trigger CI.

@pablogs9 pablogs9 changed the title micro-ROS Library auto-update 16-05-2025 06:14 micro-ROS Library auto-update 17-05-2025 06:12 May 17, 2025
@pablogs9 pablogs9 force-pushed the autoupdate_micro_ros_rpipico_jazzy branch from df080f7 to 8bea18a Compare May 17, 2025 06:14
@pablogs9 pablogs9 changed the title micro-ROS Library auto-update 17-05-2025 06:12 micro-ROS Library auto-update 18-05-2025 06:13 May 18, 2025
@pablogs9 pablogs9 changed the title micro-ROS Library auto-update 18-05-2025 06:13 micro-ROS Library auto-update 19-05-2025 06:15 May 19, 2025
@4ntn 4ntn merged commit aaf169d into jazzy May 19, 2025
2 checks passed
@4ntn 4ntn deleted the autoupdate_micro_ros_rpipico_jazzy branch May 19, 2025 08:09
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.

2 participants