)]}'
{
  "commit": "a43888f07876c759416bbf1e8cb716e62d3636c8",
  "tree": "940ff39904e8d58111de25d78a80855299b973de",
  "parents": [
    "169d7a775c7f07e4ab23574c21b3499891864e8d"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 23 15:48:24 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Dec 23 15:48:24 2024 -0800"
  },
  "message": "feat: check invariant for `parents`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a2eb0a7a958d856a4dd0bb7f0a306c678f3eed6d",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Core.lean",
      "new_id": "dc469d883ad38ee05056d28697587051b443aed5",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Core.lean"
    },
    {
      "type": "modify",
      "old_id": "5e20ababe12543c7eda593f9acefa3a00f57d8d5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "fdd59ad2a04e692d2afc2ab9fc7943c67d116576",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "9a58f6877e00f0eef15945c534997c374c98c6cf",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "a6754eb60646cc3625ba9c115b97d3815f9ed831",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}