As of October 21, 2019, our Docker image will no longer build (I get a failure while trying to install dashing). This is exacerbated by the fact that our Docker image has not been automatically building on cirrus, and thus no one noticed the image wouldn't build.