Run time | : for $task_ids.keys() -> $task_id {<: $task_id :> | : }||
---|---|---|---|
<: $result.dirname :> | : for $task_ids.keys() -> $task_id { : if (not defined($result.tasks[$task_id].exit_status)) {NOT AVAILABLE | : } elsif ($result.tasks[$task_id].exit_status == 0) {OK | : } else {FAIL | : } : }