toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.util.debug.docker
/
DockerDebug
/
Pipelines
/
getJavaDir
get
Java
Dir
fun
getJavaDir
(
distro
:
LangDockerfile.Java
=
DefaultDistro.JAVA
)
:
List
<
DockerPipelineStage
>
A basic Java pipeline, compiling all files within a specific directory.