Since ROS1 is EOL, the ROS buildfarm, which was running PR tests, does not do so anymore. Maybe we can switch to GitHub actions?