HF RL Explorer

Cancellation support for sleep for and period timer in coro io

Cancellation support for sleep for and period timer in coro io: a task in LegoFlow-SWE (Harbor dataset). The coro io library does not properly support cancellation of its asynchronous operations. When using collectAll<async simple::Terminate to run multiple coroutines and cancel the remaining ones…

The task

The `coro_io` library does not properly support cancellation of its asynchronous operations. When using `collectAll<async_simple::Terminate>` to run multiple coroutines and cancel the remaining ones once the first completes, operations like `coro_io::sleep_for` and `period_timer::async_await` do not react to…

Part of Lego-X/LegoFlow-SWE.