Skip to content

Remove everything from repos#1338

Merged
tylerjw merged 1 commit intomoveit:mainfrom
vatanaksoytezer:vatan/remove_repos
Jun 11, 2022
Merged

Remove everything from repos#1338
tylerjw merged 1 commit intomoveit:mainfrom
vatanaksoytezer:vatan/remove_repos

Conversation

@vatanaksoytezer
Copy link
Copy Markdown
Contributor

Inspired by #1294, we should not need anything to build from the source since the humble and rolling syncs are out!

@vatanaksoytezer vatanaksoytezer added the backport-humble Mergify label that triggers a PR backport to Humble label Jun 11, 2022
@codecov
Copy link
Copy Markdown

codecov bot commented Jun 11, 2022

Codecov Report

Merging #1338 (ba0ab38) into main (6cd49c0) will increase coverage by 0.03%.
The diff coverage is n/a.

@@            Coverage Diff             @@
##             main    #1338      +/-   ##
==========================================
+ Coverage   61.56%   61.58%   +0.03%     
==========================================
  Files         274      274              
  Lines       24966    24966              
==========================================
+ Hits        15369    15374       +5     
+ Misses       9597     9592       -5     
Impacted Files Coverage Δ
...e/collision_detection_fcl/src/collision_common.cpp 73.99% <0.00%> (+0.23%) ⬆️
...nning_scene_monitor/src/planning_scene_monitor.cpp 45.73% <0.00%> (+0.44%) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update 6cd49c0...ba0ab38. Read the comment docs.

@tylerjw tylerjw merged commit c13a2fd into moveit:main Jun 11, 2022
mergify bot pushed a commit that referenced this pull request Jun 11, 2022
(cherry picked from commit c13a2fd)
pac48 pushed a commit to pac48/moveit2 that referenced this pull request Jun 13, 2022
pac48 pushed a commit to pac48/moveit2 that referenced this pull request Jun 13, 2022
peterdavidfagan pushed a commit to peterdavidfagan/moveit2 that referenced this pull request Jul 14, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-humble Mergify label that triggers a PR backport to Humble

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants