2020-12-07 14:43:54 +00:00
|
|
|
type t
|
2020-12-02 13:33:15 +00:00
|
|
|
|
2020-12-07 14:43:54 +00:00
|
|
|
type job_run_meta = {
|
2020-12-02 13:33:15 +00:00
|
|
|
job_info : Builder.job;
|
|
|
|
uuid : Uuidm.t;
|
|
|
|
start : Ptime.t;
|
|
|
|
finish : Ptime.t;
|
|
|
|
result : Builder.execution_result;
|
2020-12-07 14:43:54 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
type job_run_info = {
|
|
|
|
meta : job_run_meta;
|
|
|
|
out : (int * string) list;
|
2020-12-02 13:33:15 +00:00
|
|
|
data : (Fpath.t * string) list
|
|
|
|
}
|
|
|
|
|
2020-12-07 14:43:54 +00:00
|
|
|
type job = {
|
|
|
|
path : Fpath.t;
|
|
|
|
runs : job_run_meta list;
|
|
|
|
}
|
|
|
|
|
|
|
|
val init : Fpath.t -> t
|
|
|
|
|
2020-12-02 13:33:15 +00:00
|
|
|
val job_name : job -> string
|
|
|
|
|
2020-12-07 09:17:49 +00:00
|
|
|
val read_full : t -> Fpath.t -> Fpath.t -> (job_run_info, [> `Msg of string ]) result
|
2020-12-02 13:33:15 +00:00
|
|
|
|
2020-12-07 09:17:49 +00:00
|
|
|
val job : t -> Fpath.t -> (job, [> `Msg of string]) result
|
2020-12-07 20:21:01 +00:00
|
|
|
val jobs : t -> (Fpath.t list, [> `Msg of string ]) result
|