-
-
Notifications
You must be signed in to change notification settings - Fork 17
Full Rebuild (Sync) September 2025: bump ros2-distro-mutex to 0.11.0 and build_number to 10 #108
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
Conversation
Thanks @wep21 ! fyi @TedVanderfeen here we can update Pinocchio to 3.8.0 |
Signed-off-by: wep21 <[email protected]>
Signed-off-by: wep21 <[email protected]>
Signed-off-by: wep21 <[email protected]>
Signed-off-by: wep21 <[email protected]>
Signed-off-by: wep21 <[email protected]>
Signed-off-by: wep21 <[email protected]>
Signed-off-by: wep21 <[email protected]>
@traversaro @Tobias-Fischer Now, ready to merge. |
Thanks @wep21 ! I will try to update the dependencies pinning? If that turns out to be problematic we can always revert. |
It's no problem for me. Thank you. |
@traversaro - shall we merge here, and then you can do a bump of build number + mutex version in #109? |
Sure, the first experiment failed, so we can update the deps in another PR. Thanks @wep21 ! |
@traversaro @Tobias-Fischer build actions on win and osx seem to be failed. Do you have any idea to fix this?
|
Packages should all be online very shortly :) |
No description provided.