toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.pipeline.docker
/
PyLint
/
additionalPipPackages
additional
Pip
Packages
private
val
additionalPipPackages
:
List
<
String
>