)]}'
{
  "commit": "67d4f9a1ef2df11f9114cd99c4e2bde11b18b16e",
  "tree": "b18a102f2df849e2ae138b9db8711bf2cf0fbefe",
  "parents": [
    "d3e4bc7966035a4cdf7322259147c4733a540d81"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 06 00:26:02 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 06 00:26:02 2026 -0800"
  },
  "message": "chore: fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d21ca07f2bce9ecf418ffa6c0b935b5ef0f2da3a",
      "old_mode": 33188,
      "old_path": "tests/lean/beginEndAsMacro.lean",
      "new_id": "5e66e90c8ebab3cb225d1103a04de092d297f8ec",
      "new_mode": 33188,
      "new_path": "tests/lean/beginEndAsMacro.lean"
    },
    {
      "type": "modify",
      "old_id": "791dde2a45a44d67d568446c0de122e56116bc0d",
      "old_mode": 33188,
      "old_path": "tests/lean/beginEndAsMacro.lean.expected.out",
      "new_id": "da2eee2eea139d47040f609a02e802c2eea2723c",
      "new_mode": 33188,
      "new_path": "tests/lean/beginEndAsMacro.lean.expected.out"
    }
  ]
}