toggle menu
zinc-grader
2024.01.99
jvm
switch theme
search in API
runner-api
/
dev.ust.zinc.grader.runner
/
Runner
/
putError
put
Error
fun
putError
(
pipelineError
:
Runner.PipelineError
)
Records an error emitted by a pipeline stage.
Parameters
pipeline
Error
The pipeline error which is emitted.