package current-web-pipelines

  1. Overview
  2. Docs

Module Current_web_pipelines.Run_timeSource

Sourceval duration_pp : Format.formatter -> Duration.t -> unit
Sourcetype info =
  1. | No_info
  2. | Cached
  3. | Running_since of float
  4. | Finished of {
    1. ready : float;
    2. running : float option;
    3. finished : float;
    }
Sourcetype t = {
  1. total : float option;
  2. info : info;
}
Sourceval empty : t
Sourceval info_to_string : info -> string
Sourceval to_elem : t -> [> Html_types.span ] Tyxml_html.elt
Sourceval of_job : creation_date:float -> Current.job_id -> t
Sourceval run_time : t -> float
Sourceval merge : t -> t -> t
Sourceval map_node : creation_date:float -> [< `Children of ('a * t) list | `Leaf of 'b State.job ] -> 'c -> 'c * t
Sourceval map_stage : ('a * t) list -> 'b -> 'b * t