Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
BuilderSourcetype info = {schedule : schedule_item list;queues : (string * job list) list;running : (Ptime.t * Uuidm.t * script_job) list;}type cmd = | Job_requested of string| Job_schedule of Uuidm.t * script_job| Job_finished of Uuidm.t * execution_result * data| Output of Uuidm.t * string| Output_timestamped of Uuidm.t * int64 * string| Schedule of period * script_job| Unschedule of string| Info| Info_reply of info| Observe of Uuidm.t| Execute of string * string option| Schedule_orb_build of period * orb_build_job| Reschedule of string * Ptime.t * period option| Drop_platform of string| Client_hello of [ `Client | `Worker ] * int| Server_hello| Success| Failure of string