CI Docker Images

Hi Mark, Ben Where are the dockerfiles (or nix expressions) which are used to build the docker images? I want to update them and push some new images to ghcci but I can't find any trace about how the images have been made. Cheers, Matt