We’ve had a few infrastructure issues in the past week. I just launched a new docker build by hand. If some tests fail and it doesn’t push the new image, I will have a look and fix so we can get a new snapshot. Thanks for using the container and reporting the issue!