For the new, shiny Docker-based CI