Function formatTime

frontend/src/react/components/task-run-log/model.ts:63–75

(timestamp?: Timestamp)

};

export const formatTime = (timestamp?: Timestamp): string => {
  if (!timestamp) return "--:--:--.---";
  const date = new Date(getTimestampMs(timestamp));
  return (
    [
      date.getHours().toString().padStart(2, "0"),
      date.getMinutes().toString().padStart(2, "0"),
      date.getSeconds().toString().padStart(2, "0"),
    ].join(":") +
    "." +
    date.getMilliseconds().toString().padStart(3, "0")
  );
};

export const formatDuration = (ms: number): string => {
  if (ms < 1) return "<1ms";