Cleanup and grooming of CI (backport #205)#207

christophfroehlich merged 1 commit intojazzyros-controls/control_msgs:jazzyfrom

mergify/bp/jazzy/pr-205ros-controls/control_msgs:mergify/bp/jazzy/pr-205Copy head branch name to clipboard