)]}'
{
  "commit": "a082b32baa07dda55324fc3f6eee38f50291eb6a",
  "tree": "f07e36deca2020f07342474f8be1e80c78bd702d",
  "parents": [
    "ab9445d878adb09a7752621a0f01abff482c1d85"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 26 10:07:39 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Dec 26 10:07:39 2024 -0800"
  },
  "message": "fix: bug at `mkEqProof` in `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3f5baf4148d2903e96964154fa32d1bee6ff906e",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind.lean",
      "new_id": "1a70c3a19cc435c386d4acce9c3408066b56b0a3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind.lean"
    },
    {
      "type": "modify",
      "old_id": "89ae18de0849ad5da991957f96e4ef3d4e49da79",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Proof.lean",
      "new_id": "789d23428fb46d537e6d7d9cd8730f23aebbf3bf",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Proof.lean"
    },
    {
      "type": "modify",
      "old_id": "a1cce8ca66e6175ce8ce15969802f71525d0b435",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_nested_proofs.lean",
      "new_id": "3880cdc5adc8913f6be102ae12b7fce1a44ae342",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_nested_proofs.lean"
    }
  ]
}