I took a risk that docker had implemented namespacing with regards to architectures correctly, but of course they didn't. So the CI docker image for x86_64 was clobbered by an aarch64 image with the same name. Now we're doing arch namespaces with the tag name, so here's the x86_64 one.