toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.runner
/
DockerRunner
/
ExecStateData
/
ExecStateData
Exec
State
Data
constructor
(
stageIdx
:
Int
,
stagePhase
:
DockerRunner.ExecStateData.StagePhase
)