"Pool has no workers" run notification counts drained workers as available

When a worker pool has no active workers, but has drained workers, the note in a run that says “no workers available” shows “1 worker”. This is confusing and misleading.