metrics_metric_timer_stop
Stop a running timer and record its duration in milliseconds to track performance metrics like count, total, min, max, average, and last measurement.
Instructions
[metrics] Stop a running timer and record its duration in milliseconds. Accumulates: count, total_ms, min_ms, max_ms, avg_ms, last_ms. Returns the recorded duration and updated timer state.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| timer_id | Yes |