{
  "$schema": "https://json-schema.org/draft/2020-12/schema",
  "$id": "#/components/schemas/GithubCheckPullRequest",
  "title": "GithubCheckPullRequest",
  "type": "object",
  "properties": {
    "number": {
      "type": "integer"
    }
  },
  "required": [
    "number"
  ]
}