)]}'
{
  "commit": "9a1cc1361e8c09187a676c3efcab25711143d9c4",
  "tree": "082c1c009f9b5139078d69b00f26c776b09af51c",
  "parents": [
    "98402c3364e52ddd6e0a191c8a59ab0f69e998f4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 11 09:34:57 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 11 09:34:57 2024 -0700"
  },
  "message": "test: additional tests from issue #4413\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dd465011e4ce63dcd2c73e0f84a50a1015283d92",
      "old_mode": 33188,
      "old_path": "tests/lean/run/4413.lean",
      "new_id": "d101360b2c15169f30ab3d863da660316a748c23",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4413.lean"
    }
  ]
}