Function pump

frontend/src/components/timeline/ExecutionTimeline.tsx:115–118

()

    if (!isLiveMode) return;
    let frame: number;
    const pump = () => {
      tickLiveClock();
      frame = requestAnimationFrame(pump);
    };
    frame = requestAnimationFrame(pump);
    return () => cancelAnimationFrame(frame);
  }, [isLiveMode, tickLiveClock]);