toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
JUnit
/
DockerInfo
/
DockerInfo
Docker
Info
constructor
(
distro
:
LangDockerfile.Java
,
version
:
String
)
Parameters
distro
The distro used to execute the stage.
version
The JUnit version.