[sr-dev] git:master:60db119b: core: warning when a task is pushed but no workers