So does anybody know what's going on with the Jenkins CI build? It says
that it failed but when I try to click on the Details link it says
"keycloak-jenkins.com’s server IP address could not be found."
See
https://github.com/keycloak/keycloak/pull/5569