MilesCranmer's picture
Fix docker CI
14ba01b