When a run is aborted (e.g. cancelling a run from Seqera Platform), all submitted/running tasks are killed, marked as "aborted", and the workflow stats are updated accordingly:

However, markCompleted always decrements the running count regardless of whether the completed task was running or submitted. If there are submitted tasks that were aborted, the submitted count will be too high and the running count will be too low (or even negative).

I see two solutions:

1. Include the previous state in the call to WorkflowStats::markCompleted() so that it knows which count to decrement
2. Add a function markAborted() and call it before updating the task state in TaskPollingMonitor, so that it can see the previous state.