toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.util.debug.docker
/
DockerDebug
/
filterZinc
filter
Zinc
suspend
fun
List
<
DockerImage
>
.
filterZinc
(
)
:
List
<
DockerImage
>
Filters all images from
this list
whose tag starts with "zinc/".