Skip to content

Conversation

@fmauch
Copy link
Contributor

@fmauch fmauch commented Jul 22, 2025

Since std::scoped_lock is used in the implementations, the header defining this should be included.

Otherwise this can lead to build errors such as in https://github.com/UniversalRobots/Universal_Robots_ROS2_Driver/actions/runs/16434641652/job/46442308076#step:6:9912

Could also reproduce this when building moveit2 locally. Adding the changes from this PR fixed it.

Since std::scoped_lock is used in the implementations, the header
defining this should be included.
@codecov
Copy link

codecov bot commented Jul 22, 2025

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 46.23%. Comparing base (950322e) to head (de17031).

Additional details and impacted files
@@            Coverage Diff             @@
##             main    #3532      +/-   ##
==========================================
+ Coverage   46.23%   46.23%   +0.01%     
==========================================
  Files         720      720              
  Lines       62717    62714       -3     
  Branches     7595     7594       -1     
==========================================
+ Hits        28988    28990       +2     
+ Misses      33562    33556       -6     
- Partials      167      168       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

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

@sjahr sjahr merged commit 7d6e2ab into moveit:main Jul 22, 2025
9 of 10 checks passed
@github-project-automation github-project-automation bot moved this to ✅ Done in MoveIt Jul 22, 2025
@fmauch fmauch deleted the add_mutex_include branch July 22, 2025 12:46
Markus-Simonsen pushed a commit to Markus-Simonsen/moveit2 that referenced this pull request Aug 12, 2025
Since std::scoped_lock is used in the implementations, the header
defining this should be included.
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