docker-runner/dev.ust.zinc.grader.pipeline.docker/DockerPipelineStage/distro

distro

protected val distro: BaseDockerfile