EventInfo

{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "https://raw.githubusercontent.com/api-evangelist/amazon-codeguru-reviewer/refs/heads/main/json-schema/amazon-codeguru-reviewer-event-info-schema.json",
  "title": "EventInfo",
  "description": "Information about an event. The event might be a push, pull request, scheduled request, or another type of event.",
  "type": "object",
  "properties": {
    "Name": {
      "allOf": [
        {
          "$ref": "#/components/schemas/EventName"
        },
        {
          "description": "The name of the event. The possible names are <code>pull_request</code>, <code>workflow_dispatch</code>, <code>schedule</code>, and <code>push</code> "
        }
      ]
    },
    "State": {
      "allOf": [
        {
          "$ref": "#/components/schemas/EventState"
        },
        {
          "description": "The state of an event. The state might be open, closed, or another state."
        }
      ]
    }
  }
}