Repository navigation

feat: extend a pending timer through publish(timer_conflict="extend") - #254

Merged

lesnik512 merged 7 commits into

mainfrom

feat/timer-extend

Oct 26, 2026

Merged

feat: extend a pending timer through publish(timer_conflict="extend")#254
lesnik512 merged 7 commits into
mainfrom
feat/timer-extend

Commits on Oct 26, 2026
- feat: extend a pending timer through publish(timer_conflict="extend")
  lesnik512
  committed
  d9ecce9
- docs: drop the timer extend ADR
  lesnik512
  committed
  9ee5d09
- docs: the timer_id index backs both conflict modes
  lesnik512
  committed
  100e27e
- feat: queue a rearm when extending a timer whose handler is running
  lesnik512
  committed
  7d05f82
- revert: drop the queued rearm on a leased timer
  lesnik512
  committed
  739932b
- docs: a heartbeat that misses a running timer arms the next one
  lesnik512
  committed
  2d363bc
- Merge remote-tracking branch 'origin/main' into feat/timer-extend
  lesnik512
  committed
  e47ce37