module Worker:sig
..end
The workers process build jobs to produce build
objects. A worker has a fixed host
configuration: an architecture, an operating system and a
distribution.
typeid =
[ `Worker ] Id.t
type
t
val create : Host.t -> t
create h
is the worker with host configuration h
.val id : t -> id
id t
is t
's identifier. It is a 128 bits universally unique
identifiers (UUID) version 4 (random based) according to
RFC 4122.val host : t -> Host.t
host t
is t
's host configuration.val equal : t -> t -> bool
equal
is the equality for workers.val compare : t -> t -> int
compare
compares workers.val pp : t Fmt.t
pp
formats workers.val json : t Jsont.codec
json
is the JSON coded for workers.typestatus =
[ `Idle | `Job of Job.id | `Task of Task.id ]
val pp_status : status Fmt.t
pp_status
formats worker status.val json_status : status Jsont.codec
json_status
is the JSON codec for worker status.