On Thu, 8 Apr 2021 17:06:45 GMT, Aleksey Shipilev <shade at openjdk.org> wrote: > OpenJDK infra seems to be at maintenance. Bots would hopefully integrate as infra is online again. Yay bots! ------------- PR: https://git.openjdk.java.net/shenandoah/pull/28