{
  "$id": "https://firefox-ci-tc.services.mozilla.com/schemas/worker-manager/v1/pulse-worker-pool-message.json#",
  "$schema": "https://firefox-ci-tc.services.mozilla.com/schemas/common/metaschema.json#",
  "additionalProperties": false,
  "description": "The message that is emitted when worker pools are created/changed/deleted.",
  "properties": {
    "previousProviderId": {
      "description": "If this is defined, it was the provider that handled this worker pool in the\nconfiguration before the current one. This will be used by providers to clean\nup any resources created for this workerType when they are no longer responsible\nfor it.\n",
      "maxLength": 38,
      "minLength": 1,
      "pattern": "^([a-zA-Z0-9-_]*)$",
      "title": "Previous Provider",
      "type": "string"
    },
    "providerId": {
      "$ref": "worker-pool-full.json#/properties/providerId"
    },
    "workerPoolId": {
      "$ref": "worker-pool-full.json#/properties/workerPoolId"
    }
  },
  "required": [
    "workerPoolId",
    "providerId"
  ],
  "title": "WorkerType Pulse Message",
  "type": "object"
}