redis-daemon/dev.ust.zinc.grader.daemon.messengers/Redis/makeGradingStatusString

makeGradingStatusString

open override fun makeGradingStatusString(stageName: String, details: String): String

Generate the status string for the grading-in-progress state