Details
-
Improvement
-
Status: Resolved
-
P2
-
Resolution: Fixed
-
None
-
None
Description
Today, timers set by the runner core of the SDK are identified by timestamp, so multiple timers for the same time result in only one backend timer. This is runner-specific and obsolete, and makes it unsafe to support timer deletion because backend timers have no real owner. User-facing timers will require explicit identifiers anyhow.