)]}'
{
  "commit": "0953d3f983b0b5fc555d87c44fb2a8256324476a",
  "tree": "ed629366b08b8f072328ea8a8ff37b9cb1fdefb6",
  "parents": [
    "b72eadfbc122140277c28701385aefda0e0d606b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jan 03 17:49:12 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Jan 03 17:49:12 2025 -0800"
  },
  "message": "fix: match-equation theorem activation in `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c33421d7dbb4630976538d0b0b74b6b4888451d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean",
      "new_id": "63c2fc81ccaec5aa4ffb6d3985fa3b82a48cd132",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "a349e40039cabfc78879f8f4a2897360ed3a8f99",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_match1.lean",
      "new_id": "483b8600c05cef8d1e24b17d8f8d132824a39ea0",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_match1.lean"
    }
  ]
}