Skip to main content

RunId

Type Alias RunId 

pub type RunId = String;
Expand description

The id of a captured run: <start_ts_init>-<short_uuid>, sortable by start time.

The runtime constructs this from the kernel’s start timestamp plus a fresh UUID4 so the representation stays stable across processes and platforms.

Aliased Type§

pub struct RunId { /* private fields */ }