The IP address of our Jenkins host for build.ros2.org has changed due to configuration changes within our hosting provider. The authoritative DNS records have already been updated but build.ros2.org may be unavailable for you while DNS propagates.
1 Like