Commit 848078849276c2d8e9d1ab6e10c7d413ae53a521

Edward Thomson 2019-11-23T12:40:02

ci: break dockerfile into stages Use a multi-stage docker build so that we can cache early stages and not need to download the apt-provided dependencies during every build (when only later stages change).