)]}'
{
  "commit": "88fb29b7c5500bbd62413d865a847ba985597bd0",
  "tree": "78006278e1abcc2636fbd94df18af3279b094f3f",
  "parents": [
    "e6d83badedc2596f58ba6c91db7e541522ec7c5a"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Aug 02 13:14:47 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Aug 02 13:34:36 2024 -0700"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "delete",
      "old_id": "cd0973dedb7fd0dc5d41af890c55b3a6c81fc54d",
      "old_mode": 33188,
      "old_path": "tests/lean/2040.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "8729afdea22bd5a9dbbef775bc058ec5c4fc1168",
      "old_mode": 33188,
      "old_path": "tests/lean/2040.lean.expected.out",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "0a4bbce5f9ff5e17789f95130ab35b4cac82755e",
      "old_mode": 33188,
      "old_path": "tests/lean/2220.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "012b4658190feca29c2caa06c2b8dcf23d726312",
      "old_mode": 33188,
      "old_path": "tests/lean/2220.lean.expected.out",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "b4c597fcf88740b8f9e402c365db0dfcfa31e999",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2220.lean"
    },
    {
      "type": "modify",
      "old_id": "9f2bd3d734fa954c68ded5e8a5a099a1224af573",
      "old_mode": 33188,
      "old_path": "tests/lean/run/4861.lean",
      "new_id": "9799a6cdc0291c3229c0fa23c128960f30878857",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4861.lean"
    }
  ]
}