Skip to content

add missing includes for GCC 15#133

Merged
aaronchongth merged 1 commit intoopen-rmf:mainfrom
nim65s:gcc15
Mar 23, 2026
Merged

add missing includes for GCC 15#133
aaronchongth merged 1 commit intoopen-rmf:mainfrom
nim65s:gcc15

Conversation

@nim65s
Copy link
Contributor

@nim65s nim65s commented Mar 22, 2026

Bug fix

Fixed bug

#132

Fix applied

Added missing includes

Signed-off-by: Guilhem Saurel <guilhem.saurel@laas.fr>
Copy link
Member

@aaronchongth aaronchongth left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks for the patch!

@aaronchongth aaronchongth merged commit a1895d7 into open-rmf:main Mar 23, 2026
3 checks passed
@github-project-automation github-project-automation bot moved this from Inbox to Done in PMC Board Mar 23, 2026
@codecov
Copy link

codecov bot commented Mar 23, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
✅ Project coverage is 0.00%. Comparing base (99ec3bf) to head (8aaacbe).
⚠️ Report is 53 commits behind head on main.

Additional details and impacted files
@@            Coverage Diff            @@
##             main   #133       +/-   ##
=========================================
- Coverage   36.44%      0   -36.45%     
=========================================
  Files          65      0       -65     
  Lines        2557      0     -2557     
  Branches     1416      0     -1416     
=========================================
- Hits          932      0      -932     
+ Misses        550      0      -550     
+ Partials     1075      0     -1075     
Flag Coverage Δ
tests ?

Flags with carried forward coverage won't be shown. Click here to find out more.
see 64 files with indirect coverage changes

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

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.

3 participants