Skip to content

Conversation

@jbtheou
Copy link
Contributor

@jbtheou jbtheou commented Jul 6, 2025

No description provided.

jbtheou added 2 commits July 7, 2025 07:56
Now part of the HAL properly.

Signed-off-by: Jean-Baptiste Theou <[email protected]>
@jpieper
Copy link
Member

jpieper commented Jul 7, 2025

Thanks for the PR!

I wanted to let you know that I can't guarantee to review this any time soon (or the gcc version upgrading one either). One of the primary reason I use rules_mbed is so that I only need to take newer dependency versions when they are needed and can thus schedule the verification work for the numerous dependent mjbots projects accordingly.

I'm happy to keep these PRs open, and presumably you aren't blocked since you can just use your fork. When I do need to upgrade, I'll certainly work from them.

Thanks again!

@jbtheou
Copy link
Contributor Author

jbtheou commented Jul 7, 2025

Of course, make total sense. I am not blocked, just want to make those changes available in case they are valuables to others. No rush on my end to review them.

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