region_end
Close an open named region and return its duration in milliseconds, removing it from the active set.
Instructions
Close an open named region and return its duration in ms. Removes the region from the active set; subsequent region_end with the same name returns an error.
Returns: { ended: bool, name: string, duration_ms: float, duration_s: float }
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | Region identifier. Must match an open region. |