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

Improve CI rules #77

Merged

lreiher merged 5 commits into main from ci/ici-in-docker-ros

Oct 28, 2024

Member

lreiher commented Oct 28, 2024

run ICI only on PRs
move ICI to docker-ros CI on push

lreiher and others added 5 commits

October 28, 2024 13:26


          run ici on pr only and else run ici in docker-ros ci

2c5ce75


          test hotfix branch in docker-ros

d3b9dd6


          test docker-ros ci with rmw_zenoh_cpp

c4d4132


          Test Docker-ROS with jazzy

258d7c1


          revert temporary changes in ci

97e4b26

lreiher merged commit 0649f99 into main

0 of 12 checks passed

lreiher deleted the ci/ici-in-docker-ros branch

October 28, 2024 20:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet