{
  "$id": "https://firefox-ci-tc.services.mozilla.com/schemas/worker-manager/v1/pulse-worker-removed-message.json#",
  "$schema": "https://firefox-ci-tc.services.mozilla.com/schemas/common/metaschema.json#",
  "additionalProperties": false,
  "description": "The message that is emitted when workers are being removed.",
  "properties": {
    "capacity": {
      "$ref": "worker-full.json#/properties/capacity"
    },
    "launchConfigId": {
      "$ref": "worker-full.json#/properties/launchConfigId"
    },
    "providerId": {
      "$ref": "worker-pool-full.json#/properties/providerId"
    },
    "reason": {
      "description": "The reason the worker was removed. It can be one of the following:\n\n- workerManager.removeWorker API call\n- terminateAfter time exceeded\n- operation expired\n- any other error encountered\n",
      "title": "Reason",
      "type": "string"
    },
    "timestamp": {
      "description": "Date and time when this event occurred",
      "format": "date-time",
      "title": "Event timestamp",
      "type": "string"
    },
    "workerGroup": {
      "$ref": "worker-full.json#/properties/workerGroup"
    },
    "workerId": {
      "$ref": "worker-full.json#/properties/workerId"
    },
    "workerPoolId": {
      "$ref": "worker-pool-full.json#/properties/workerPoolId"
    }
  },
  "required": [
    "workerPoolId",
    "providerId",
    "workerId",
    "workerGroup",
    "capacity",
    "reason",
    "timestamp"
  ],
  "title": "Worker Removed Pulse Message",
  "type": "object"
}