)]}'
{
  "commit": "86b60c5a685f17a1a776a19ea82bd6509444043b",
  "tree": "a03b19dd51eaeb77e52d5dfd26aa38c21ca40378",
  "parents": [
    "556fe87f7ebdba8ed711bbef6e678e9159673839"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Oct 08 13:45:36 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Oct 08 13:45:36 2025 -0700"
  },
  "message": "chore: fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "aa0bedc5aa28bd8555ff29dca3bd578e76650fd7",
      "old_mode": 33188,
      "old_path": "tests/lean/interactive/1265.lean.expected.out",
      "new_id": "6ab639cce497f007840ec59a79db75071251f2d1",
      "new_mode": 33188,
      "new_path": "tests/lean/interactive/1265.lean.expected.out"
    }
  ]
}