pub struct RunSummary {Show 13 fields
pub run: RunId,
pub who: String,
pub frozen: bool,
pub last_seq: Seq,
pub last_kind: EventKind,
pub addr: Option<Address>,
pub started: Option<TimeMs>,
pub completion: Option<String>,
pub pr: Option<String>,
pub ask: Option<String>,
pub task: Option<String>,
pub goal: Option<String>,
pub waiting: Option<Waiting>,
}Expand description
One run, as a reader needs it. The client folds the live stream for itself; this shape is what a query answers about runs it never saw, which is why it carries the position rather than the whole history.
Fields§
§run: RunId§who: String§frozen: bool§last_seq: Seq§last_kind: EventKind§addr: Option<Address>The room the run works in, from its run_started record. who
cannot say it: that is the author of the first record, which is
the city. Absent when the view saw no opening for this run.
started: Option<TimeMs>When the run began, from the same record.
completion: Option<String>How the run ended, as its run_frozen record says. Absent while
it runs, and when the view never saw the freeze.
pr: Option<String>The branch of the last pull request the run opened; a pull request in the city is named by its branch and has no number.
ask: Option<String>What the run waits for the person to allow. Present exactly when
last_kind is approval_requested.
task: Option<String>What the person asked for, as the run’s run_started record says.
Absent when the view never saw the opening or the task was empty.
goal: Option<String>What finishing looks like, from the same record, read the same way.
waiting: Option<Waiting>The room the run stopped on a synchronous send to hear from,
and until when; absent while it waits for nobody, and always
absent once it froze (crates/wire/spec/Reading.lean D34).
Defaulted, so an answer from a build without the field still
reads.