Skip to content
This repository has been archived by the owner on May 17, 2023. It is now read-only.

Add GitHub ci #1

Merged
merged 2 commits into from
Oct 17, 2022
Merged

Add GitHub ci #1

merged 2 commits into from
Oct 17, 2022

Commits on Oct 17, 2022

  1. Activate CI for ROS Melodic and Noetic

    @stefanscherzinger
    stefanscherzinger committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    28d51dc View commit details
    Browse the repository at this point in the history

  2. Add build badges to top-level readme

    @stefanscherzinger
    stefanscherzinger committed Oct 17, 2022
    Configuration menu
    Copy the full SHA
    f82e811 View commit details
    Browse the repository at this point in the history