)]}'
{
  "commit": "2aef223c8c84107716e2e79ceff77f9a95a42403",
  "tree": "383a72687f08f68f3870acfe64abdf79b0206ad3",
  "parents": [
    "47fabc9cedd127e8d4828fad4801304b36371444"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 28 15:41:17 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 28 15:43:00 2025 -0700"
  },
  "message": "chore: move fixed test\n",
  "tree_diff": [
    {
      "type": "rename",
      "old_id": "8a9d0ea7c2154b1cd4a5cd34b74de4832b89dd7d",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/eq_false_of_imp_eq_false.lean",
      "new_id": "8a9d0ea7c2154b1cd4a5cd34b74de4832b89dd7d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_eq_false_of_imp_eq_false.lean",
      "score": 100
    }
  ]
}