Skip to content

Fix cancelling or killing a task while it is interrupted - #153

Open
HappySamuel wants to merge 1 commit into
open-rmf:mainfrom
HappySamuel:fix/150-cancel-while-interrupted
Open

Fix cancelling or killing a task while it is interrupted#153
HappySamuel wants to merge 1 commit into
open-rmf:mainfrom
HappySamuel:fix/150-cancel-while-interrupted

Fix cancelling or killing a task while it is interrupted

568b28e
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Oct 21, 2026 in 1s

DCO

All commits are signed off!

View more details on DCO