)]}'
{
  "commit": "affa55eee04c7fd9610739140897919220cfb9d1",
  "tree": "95f9341a580c195ca892006990b269e13ff2baeb",
  "parents": [
    "501375f340038dfb736a0036254c124d432ba598"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 24 15:21:32 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 24 15:21:32 2025 -0800"
  },
  "message": "chore: add `isDebugEnabled` to `grind`\n\nThis PR adds `isDebugEnabled` for checking whether `grind.debug` is\nset to `true` when `grind` was initialized.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cd32c3a5a042971e68cf73e7391c27c68c92de86",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean",
      "new_id": "c22faad095f12d1557579ee11b2addbd54a8bccf",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Eq.lean"
    },
    {
      "type": "modify",
      "old_id": "fb652dbb6f2a7b98737d34aef54878640049f3dd",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/AC/Inv.lean",
      "new_id": "d1e8c1c905385a26454d27823b10658d49ef5172",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/AC/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "ff30eb4de2fd8cc41d1aeb4bbf452c7b68ac43d5",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Inv.lean",
      "new_id": "f2a19338b2db7ef97b4e3f3788c485f2c0c12774",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/CommRing/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "27024952f5d88a3d0361900a90d7488833723aa7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Linear/Inv.lean",
      "new_id": "09f54c26ab361bb5e666e97cd16cb4c293c96d10",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Linear/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "beb17ce19aa48f5ddb8176f511b579de8045f4ea",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Inv.lean",
      "new_id": "21754365b962615f908b0c3ffbdea513aa45287f",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Inv.lean"
    },
    {
      "type": "modify",
      "old_id": "3386771ca71d12f9c6434b23116ee48db2690a40",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Main.lean",
      "new_id": "3ca6c38a830a2e1f44e70d8708668cc02662f4d9",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "aac7023306e6f569896e23de6a4c0e770fd235d9",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Order/Internalize.lean",
      "new_id": "67b81e4b5fa40c6f10995c65a2806ba7fcc074b3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Order/Internalize.lean"
    },
    {
      "type": "modify",
      "old_id": "e9ecc2969b67098235185e2d9372481f84f73756",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Types.lean",
      "new_id": "fc79180314e916715f5b6cbb3bd489c496628651",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Types.lean"
    }
  ]
}