type t = { name: string; connection: connection; playground: Path.t option; default_shell: default_shell; execution_timeout: Time.t option; } [@@deriving yojson]