)]}'
{
  "commit": "cc5d8134bd32469689645dcba5042fa04955640a",
  "tree": "14ffb457bfa7f97033bf8658f7dfbce5c6af10b0",
  "parents": [
    "b9d84878fdc63dc86b34fc5472c658137b80a8e8"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 31 21:33:06 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 31 21:33:13 2025 -0800"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fa8bead0088cec9487015fb4db9c0334c3e46a3b",
      "old_mode": 33188,
      "old_path": "tests/lean/run/sym_pattern.lean",
      "new_id": "91932228897a3e3f0579624b195533c35d4ad0ed",
      "new_mode": 33188,
      "new_path": "tests/lean/run/sym_pattern.lean"
    },
    {
      "type": "modify",
      "old_id": "8e8190c2281908e270d11b7c880007db1521521a",
      "old_mode": 33188,
      "old_path": "tests/lean/run/sym_pattern_2.lean",
      "new_id": "87c58102be57326800ec7b7ecbe68d2890231ede",
      "new_mode": 33188,
      "new_path": "tests/lean/run/sym_pattern_2.lean"
    }
  ]
}