Skip to main content

Module run_event

git_internal::internal::object

Module run_event 

Source
Expand description

Run lifecycle event.

RunEvent records append-only execution-phase facts for a Run.

§How to use this object

  • Append events as a run moves through creation, patching, validation, checkpoints, completion, or failure.
  • Attach error, metrics, and patchset_id when they belong to that phase transition.
  • Do not mutate the Run snapshot to reflect phase changes.

§How it works with other objects

  • RunEvent.run_id points at the execution envelope.
  • patchset_id can associate a run-phase fact with a candidate patchset.
  • Decision normally appears after the terminal run events.

§How Libra should call it

Libra should derive the current run phase from the latest events and scheduler state, while treating Run itself as the immutable attempt record.

Structs§

RunEvent
Append-only execution-phase fact for one Run.

Enums§

RunEventKind