There’s a GeoServer release (2.28.1 - see this topic) planned for next week right after FOSS4G, so I think we’re going to have to wait until after that release to pause the build server - either late next week or early the following week, depending on how the release goes.