)]}'
{
  "commit": "5337ed31b07dc7db2e5301da78c102f6d262a51a",
  "tree": "50d99ac63a1f7277f8eec54846999b8476754a63",
  "parents": [
    "0c57698abf8f1be872eb35cf1f1119027f08c08a"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 30 20:01:18 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 30 20:01:18 2025 -0800"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "54fe49099637563806f67d4c2ff2382ce93b1f92",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "1efaa46b944597ab3b152742bd625aae86306131",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    },
    {
      "type": "modify",
      "old_id": "4d7f7f90e1e92ebb3002abc728ad5fa2ce05ef95",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_split_issue.lean",
      "new_id": "d6f50901e4b1c7374678c1733678660a8051237c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_split_issue.lean"
    }
  ]
}