docker-runner/dev.ust.zinc.grader.pipeline.docker/DockerPipelineStage/ExecStateData/Cleaning

Cleaning

data class Cleaning(val containerId: String) : PipelineStage.ExecStateData.Cleaning

State object indicating that the pipeline stage is currently cleaning up after executing.

This includes stopping/killing the container and the removal of the container.

Constructors

constructor(containerId: String)

Properties

val containerId: String