)]}'
{
  "commit": "32757026ebd31fbf09c989c976927c3a9cc6dacf",
  "tree": "72e258552d6bdb3c9e3ca9eb063c87fcc39ceeff",
  "parents": [
    "83cff20d8c368e255bc5069b37655910c41118b6"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 13 19:09:53 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Aug 13 19:09:53 2025 -0700"
  },
  "message": "chore: fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c23155b9a793e520581db0da6bd1547416929173",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pattern1.lean",
      "new_id": "fe9a2f9abc343d3cf47b522a28679d0a59aceeeb",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pattern1.lean"
    }
  ]
}