)]}'
{
  "commit": "501a4cac8c3c1cefc4d5ad6fb0265a51813917df",
  "tree": "b0c7d7b46e1f2259338579b7708edaba467b9c85",
  "parents": [
    "8260aa4e9a1973fcb7ff2ce297cf6bad8905a46b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Apr 01 09:47:27 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Apr 01 09:47:27 2025 -0700"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "8f31c8e0d6b7229e3cfb939fd82f21ff1dd7f89c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_canon_insts.lean",
      "new_id": "080f02c7dd2a6fffd961c9fec8dce09e84f0684f",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_canon_insts.lean"
    },
    {
      "type": "modify",
      "old_id": "bb785be30b104c112ab84759831f1a2f511de797",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_eq.lean",
      "new_id": "c3d74f7a79bfb09446629f13c55e2e1f24fbece5",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_eq.lean"
    },
    {
      "type": "modify",
      "old_id": "29335f370b7478f38d8dea5e77c88b67fcb5d5de",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_offset.lean",
      "new_id": "2b3f1ec6a110d1c1cea907c2604ac0049a3e2ab6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_offset.lean"
    }
  ]
}