)]}'
{
  "commit": "c19e473891baec40e4882dc8c7edce13e19d7a7a",
  "tree": "28f66b92cd392686adbab54651984d3c8059d4db",
  "parents": [
    "90c65afed982f6917a866ea33525f15c4d67f104"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 21 06:47:23 2023 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Oct 21 06:47:23 2023 -0700"
  },
  "message": "chore: fix tests output\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7f3cc26342ee89b73c16e864bafb68d875b9cb2e",
      "old_mode": 33188,
      "old_path": "tests/lean/1616.lean.expected.out",
      "new_id": "0d1b7beca86d0cbab2bc87aa1645414c42bf1848",
      "new_mode": 33188,
      "new_path": "tests/lean/1616.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "dc2115268018c5f9822f1cb7e80773a34fe35571",
      "old_mode": 33188,
      "old_path": "tests/lean/jason1.lean.expected.out",
      "new_id": "7be9b76d20000ccadf5a1174b2263181d971f574",
      "new_mode": 33188,
      "new_path": "tests/lean/jason1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "c4e52b5905c1ae6657abfc348afbd2a6a1efd470",
      "old_mode": 33188,
      "old_path": "tests/lean/syntheticHolesAsPatterns.lean.expected.out",
      "new_id": "f83e52a17c3ff0a1843b7685297f3790ac273d73",
      "new_mode": 33188,
      "new_path": "tests/lean/syntheticHolesAsPatterns.lean.expected.out"
    }
  ]
}