)]}'
{
  "commit": "c49e0db449763c76ac2417e020c54b44a35578e4",
  "tree": "7bc164a5f8e87c1b13f7fd9f5f794892da650b66",
  "parents": [
    "fa661f3414f888708dceccc5e4d87ee1423341f5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Oct 16 10:21:08 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Oct 16 10:21:08 2025 -0700"
  },
  "message": "chore: fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4d32599416acd2da4aff2d503328d104793f35a6",
      "old_mode": 33188,
      "old_path": "tests/lean/run/noConfusionCtorInjection.lean",
      "new_id": "e4493d680d504c121a50618ac86314508648ae76",
      "new_mode": 33188,
      "new_path": "tests/lean/run/noConfusionCtorInjection.lean"
    }
  ]
}