ci.jenkins.io is down for a security update (#543)

ci.jenkins.io is down for a security update (#543) #10475