build.geoserver.org appears to be down. Anyone looking into this?
Is it still down for you? It’s working for me: geoserver-release-docker-github #7 Console - Jenkins
Sorry, I see you posted this 18 hours ago, but the first time post was only released 1 hour ago