{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "properties": {
    "connectTimeoutMs": {
      "description": "Optional WebSocket connection timeout. The server default applies when omitted.",
      "format": "uint64",
      "minimum": 0.0,
      "type": [
        "integer",
        "null"
      ]
    },
    "environmentId": {
      "type": "string"
    },
    "execServerUrl": {
      "type": "string"
    }
  },
  "required": [
    "environmentId",
    "execServerUrl"
  ],
  "title": "EnvironmentAddParams",
  "type": "object"
}