pub struct RunHeader {
pub run_id: RunId,
pub task: String,
pub status: CheckpointStatus,
pub current_phase: u32,
pub total_phases: u32,
pub total_tokens: u64,
pub elapsed_secs: Option<f64>,
pub created_at: u64,
}Expand description
Run-level summary info (the header line in CLI output).
Fields§
§run_id: RunId§task: String§status: CheckpointStatus§current_phase: u32§total_phases: u32§total_tokens: u64§elapsed_secs: Option<f64>§created_at: u64Trait Implementations§
Auto Trait Implementations§
impl Freeze for RunHeader
impl RefUnwindSafe for RunHeader
impl Send for RunHeader
impl Sync for RunHeader
impl Unpin for RunHeader
impl UnsafeUnpin for RunHeader
impl UnwindSafe for RunHeader
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
impl<ST, DT> CastableFrom<ST, Initialized, Initialized> for DT
impl<ST, DT> CastableFrom<ST, Uninit, Uninit> for DT
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more