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

Conversation

stefanscherzinger
Copy link
Contributor

Steps

  • Activate ROS industrial CI for Melodic
  • Activate ROS industrial CI for Noetic
  • Add build badges to top-level readme

@stefanscherzinger stefanscherzinger merged commit 5f2181f into main Oct 17, 2022
@stefanscherzinger stefanscherzinger deleted the add-github-ci branch October 17, 2022 13:53
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant