Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

build with ros in Ubuntu 22.04/23.04 #6521

Draft
wants to merge 5 commits into
base: master
Choose a base branch
from
Draft

build with ros in Ubuntu 22.04/23.04 #6521

wants to merge 5 commits into from

Commits on Mar 13, 2024

  1. ros control is not in ubuntu debian packages yet so disabling here, b… 

    …ut should do this selectively
    @lucasw
    lucasw committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    c66733c View commit details
    Browse the repository at this point in the history

  2. Use webots_ros with disabled moveit dependency

    @lucasw
    lucasw committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    650bd0a View commit details
    Browse the repository at this point in the history

  3. run actions for linux on every push

    @lucasw
    lucasw committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    f578a01 View commit details
    Browse the repository at this point in the history

  4. install ros in Ubuntu 22.04

    @lucasw
    lucasw committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    8803b4a View commit details
    Browse the repository at this point in the history

  5. need to compare ROS_DISTRO not ROS_PATH

    @lucasw
    lucasw committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    14f77c4 View commit details
    Browse the repository at this point in the history