@happy-kitchen-89482 I had a look. Basically, @enough-analyst-54434 set up a Dockerfile which executes every run which, among other things, installs the JDK. The JDK installer it uses is broken. So that's nice. I think the intention was that we publish a pre-built Docker image, so that we don't need to install the jdk every time we run on CI, which we should get around to doing. But I guess we also need to fix the way we're installing the JDK.