toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
docker-runner
/
dev.ust.zinc.grader.runner.context
/
DockerContext
/
resourceReservation
resource
Reservation
open
override
val
resourceReservation
:
DockerContext.ResourceReservation