)]}'
{
  "commit": "933055e1d1fd8e953a249e215ea2d0f3c3be74cf",
  "tree": "54a0a59b382d4463f922ab101a4bdd1eed12042b",
  "parents": [
    "810a4b31b5143115903ae61fd4a0ab15cf903164"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 07 10:04:56 2025 +0200"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed May 07 10:04:56 2025 +0200"
  },
  "message": "test: more tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3aea1c4f32a6eab64ef8b7cbebe66d9268d459ae",
      "old_mode": 33188,
      "old_path": "tests/lean/run/tojson_fromjson_perf_issue.lean",
      "new_id": "d7ececeea610db08f40329b2e38f914a78c3d97e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/tojson_fromjson_perf_issue.lean"
    }
  ]
}