)]}'
{
  "commit": "ca99bf3aeec44b1025bdcfdd133b657fd60f33af",
  "tree": "cd333ea48a1a5d756d3cdcd661f3b446370bcd67",
  "parents": [
    "b10cd768497911a0820d49f690057f92fc845d9e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jul 05 12:55:44 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jul 05 12:55:44 2025 -0700"
  },
  "message": "feat: track type class inference time in `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4867b143eb4ffedfed7cb6fae0d67a2670ad6ef8",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "0414b261c22ba68c3970f065a1af2de3e12d994f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    },
    {
      "type": "modify",
      "old_id": "a04b6dec83019bb1e1d219d9354a8adaf35446c6",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/SynthInstance.lean",
      "new_id": "b7f18100c41b004b34f6349095a4d6badade63b9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/SynthInstance.lean"
    }
  ]
}