toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.runner
/
Runner
/
PipelineError
/
toNonFatalError
to
Non
Fatal
Error
fun
toNonFatalError
(
)
:
ErrorUnit.PipelineErrorUnit.NonFatalError