{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "properties": {
    "operation_id": {
      "type": "string"
    },
    "project": {
      "type": "string"
    },
    "worker": {
      "type": "string"
    }
  },
  "type": "object",
  "required": [
    "operation_id",
    "project",
    "worker"
  ],
  "title": "RetireWorkerRequest",
  "description": "RetireWorkerRequest records that a worker's window is closed."
}