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 -> tcreate h is the worker with host configuration h.val id : t -> idid 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.thost t is t's host configuration.val equal : t -> t -> boolequal is the equality for workers.val compare : t -> t -> intcompare compares workers.val pp : t Fmt.tpp formats workers.val json : t Jsont.codecjson is the JSON coded for workers.typestatus =[ `Idle | `Job of Job.id | `Task of Task.id ]
val pp_status : status Fmt.tpp_status formats worker status.val json_status : status Jsont.codecjson_status is the JSON codec for worker status.