Skip to content

Backport #130, #133, #134, #135 to jazzy - #152

Merged
aaronchongth merged 4 commits into
jazzyfrom
backport-to-jazzy
Oct 20, 2026
Merged

aaronchongth merged 4 commits into
jazzyfrom
backport-to-jazzy

Conversation

@aaronchongth

Copy link
Copy Markdown
Member

Backport various fixes to jazzy

Backports #130, #133, #134, #135

GenAI Use

We follow OSRA's policy on GenAI tools

  • I used a GenAI tool in this PR.
  • I did not use GenAI

Generated-by:

kjchee and others added 4 commits October 20, 2026 11:00
Signed-off-by: kjchee <keai_jiang_chee@cgh.com.sg>
(cherry picked from commit 1ab3a1d)
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
Signed-off-by: Guilhem Saurel <guilhem.saurel@laas.fr>
(cherry picked from commit a1895d7)
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
Co-authored-by: Xiyu <ohxiyu@gmail.com>
(cherry picked from commit d11144f)
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
* resolve warnings

Signed-off-by: Aaron Chong <aaronchongth@gmail.com>

* resolve UB

Signed-off-by: Aaron Chong <aaronchongth@gmail.com>

---------

Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
(cherry picked from commit 66b2947)
Signed-off-by: Aaron Chong <aaronchongth@gmail.com>
@aaronchongth

Copy link
Copy Markdown
Member Author

Built and tested in sim on ubuntu 24, ROS jazzy

@aaronchongth
aaronchongth merged commit 54c5417 into jazzy Oct 20, 2026
2 of 4 checks passed
@aaronchongth
aaronchongth deleted the backport-to-jazzy branch October 20, 2026 04:31
@github-project-automation github-project-automation Bot moved this from Inbox to Done in PMC Board Oct 20, 2026
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.

5 participants