{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "title": "RepairReport",
  "type": "object",
  "properties": {
    "runId": {
      "type": "integer"
    },
    "startTime": {
      "type": "string"
    },
    "endTime": {
      "type": "string"
    },
    "totalRows": {
      "type": "integer"
    },
    "repairedRows": {
      "type": "integer"
    },
    "failedRows": {
      "type": "integer"
    }
  }
}