)]}'
{
  "commit": "393a4bc2e2993e57680e4d218ae10c933532f589",
  "tree": "dd3e35c50cbbed4d61b10a4afff56ddfac6ff10b",
  "parents": [
    "2c3538aa493897bf330cb2044f99ca9394d4b6ee"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Feb 03 19:22:04 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Feb 03 19:22:04 2025 -0800"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "e8f6d3ce3a8656b6992d9a71c3b543df7c704541",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ctor_ematch.lean",
      "new_id": "ae03a1831eb7dbeac2ec8d3d76bf3bca8c247256",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ctor_ematch.lean"
    },
    {
      "type": "modify",
      "old_id": "333aab7593bf446ebda30fefe802f419f4a13051",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_eq.lean",
      "new_id": "28ba3f95edc62771c27da4af6627891305223f37",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_eq.lean"
    },
    {
      "type": "modify",
      "old_id": "a591ac0a6d364c34318e3ef92242e16a5c7e5ee1",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_guide.lean",
      "new_id": "f736d3b951b01f8ab6b688cd2a0c0b1a5539f467",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_guide.lean"
    },
    {
      "type": "modify",
      "old_id": "35fb20b5aa5b3c34a66c0f618954c4d49a18d876",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_offset_cnstr.lean",
      "new_id": "df01bad83dcb6f41a5170092857d264d679fbae6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_offset_cnstr.lean"
    },
    {
      "type": "modify",
      "old_id": "2e37995cd42214808788addaac3c21d8ce9bae59",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_offset_model.lean",
      "new_id": "466c5c7a5ea202c7bdc5686868cd30a14f5f9af5",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_offset_model.lean"
    },
    {
      "type": "modify",
      "old_id": "f126a777e63fdb6c649a91fb735adb2a0986d7b8",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_params.lean",
      "new_id": "940b6b8300020cba89c607f69fe6d8fb51d50115",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_params.lean"
    },
    {
      "type": "modify",
      "old_id": "23042c09503f910f549ffcf888ff3269bab1471f",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "e63ccce71cae2aa71b22ee273ca8f45bc9d7187c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    },
    {
      "type": "modify",
      "old_id": "8adcbe145127afba829af26115fa80799995aa9d",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_split_issue.lean",
      "new_id": "2fffcfc97e36d6d5471be123f2f77af6f7fc2d44",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_split_issue.lean"
    },
    {
      "type": "modify",
      "old_id": "6c66acaae8e4162024093f1284cdfd4db0808a6c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_t1.lean",
      "new_id": "87baa3cc3f27b542dd9f66df74ef8ab93e1b7048",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_t1.lean"
    }
  ]
}