this got fixed in the rework of the run-workers. which now can be cancelled (not instantly but can be cancelled)
this got fixed in the rework of the run-workers. which now can be cancelled (not instantly but can be cancelled)