(ms: number | undefined)
| 964 | } |
| 965 | |
| 966 | function formatTimestamp(ms: number | undefined): string | undefined { |
| 967 | if (typeof ms !== 'number' || !Number.isFinite(ms)) return undefined; |
| 968 | return new Date(ms).toISOString(); |
| 969 | } |
| 970 | |
| 971 | function formatDuration(ms: number | undefined): string | undefined { |
| 972 | if (typeof ms !== 'number' || !Number.isFinite(ms)) return undefined; |