)]}'
{
  "commit": "f629f09312aab85f7e366a5fd39423e7151f3b1b",
  "tree": "22f4fc9d56482a5e07de4b5285dcb7029cf520a5",
  "parents": [
    "d4ebacc05c6a8bc04561bd67c3669523f5ca30a6"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 30 13:49:43 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 30 13:49:43 2025 -0800"
  },
  "message": "feat: use `profileitM` in `grind`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9df1db8907bc9c9e53fd95cd123226020857e4d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Main.lean",
      "new_id": "cadee3bce1b1c24d69e76ebded3267dfb6063032",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Main.lean"
    },
    {
      "type": "modify",
      "old_id": "0a12aa0fc6e07d597a83000465f071d15023971e",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_constProp.lean",
      "new_id": "77ea6d0828a7a8123b494f47dda2fa10b0bfd611",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_constProp.lean"
    }
  ]
}