)]}'
{
  "commit": "b30df915e5f803f9f10c62fa9d507461fea73319",
  "tree": "5ad82a53fe82de5192b1d23220278564ef0a22ba",
  "parents": [
    "51055ca99b259433f2cd6817647ef9267c50e48e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jun 05 16:28:54 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jun 05 16:37:49 2024 -0700"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "delete",
      "old_id": "3017c4777534d7b4e7f4d7d855a29ac3c0f213b0",
      "old_mode": 33188,
      "old_path": "tests/lean/1163.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "ad6159c11b163c62044a346f49baad9496dd5959",
      "old_mode": 33188,
      "old_path": "tests/lean/297.lean.expected.out",
      "new_id": "7c265e378c4c98c50114cbc029b495e39c0778eb",
      "new_mode": 33188,
      "new_path": "tests/lean/297.lean.expected.out"
    },
    {
      "type": "delete",
      "old_id": "47c1edecc5c532b91576b5662b663059a8c7af19",
      "old_mode": 33188,
      "old_path": "tests/lean/345.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "cdd3b44d61cb3f13ce7b5d4bccaed5153e240fd9",
      "new_mode": 33188,
      "new_path": "tests/lean/run/1163.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "02c2aae6415461dcf31cb9bf476936681ff07786",
      "new_mode": 33188,
      "new_path": "tests/lean/run/345.lean"
    },
    {
      "type": "modify",
      "old_id": "d9399c65cfaf612b71cda54a033fbc05872b1124",
      "old_mode": 33188,
      "old_path": "tests/lean/run/guard_msgs.lean",
      "new_id": "0135d4b5996cacd5a2a6499439f18af9cf499415",
      "new_mode": 33188,
      "new_path": "tests/lean/run/guard_msgs.lean"
    }
  ]
}