pub const END_NOTICE: &str = "[lean-ctx: processes started by this command could not be confirmed as ended]";Expand description
What a caller is told when a call’s process group could not be confirmed as ended. Fixed text: no process id, no time, nothing of the run (#498).