honor cancel() issued before spin_until_future_complete(). - #3174

Merged

fujitatomoya merged 2 commits into

Jul 31, 2026

Commits on Jun 11, 2026

honor cancel() issued before spin_until_future_complete().
fujitatomoya
committed
45ed36e

Commits on Jul 30, 2026

is_spinning() returns false immediately after cancel() even though the executor is still executing work.
fujitatomoya
committed
38e5462