)]}'
{
  "commit": "8034f1882b462214c0589b7780fcf7e2909db373",
  "tree": "56b77853943500ae2113a51b3e957806202e9fff",
  "parents": [
    "630577a9ea29706295ba8b6a5c7d3e9164a51d40"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 24 14:30:35 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Dec 24 14:30:35 2024 -0800"
  },
  "message": "fix: `checkParents` in `grind`\n\nThis PR fixes the `checkParents` sanity check in `grind`.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7d4e39927a1caa2dba5f011eb72cde0760e09c98",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "c30a425e27509be85a09ed407a3518adb5f08a2b",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "3f343a1ca4f1d35f2f3b3080fceeef664b4145d7",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_propagate_connectives.lean",
      "new_id": "8a71d40ae78c0a5a2b62374956f5e1547f1c4693",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_propagate_connectives.lean"
    }
  ]
}