[backend] Better identify when user processes are killed and provide an...

[backend] Better identify when user processes are killed and provide an explanation to the user in these cases

parent 0309994b

No related branches found

No related tags found

1 merge request!194Scheduler

Pipeline #

Status	Pipeline	Created by	Stages	Actions
Failed	[backend] Better identify when user processes are killed and provide an explanation to the user in these cases #2258 scheduler 200e3b7f branch		Stage: test	Download artifacts No artifacts found