)]}'
{
  "commit": "5844405ee938f9cd9456fff4a1c2a1b95607e76b",
  "tree": "1f166b0dc25d320ada77b67aec87a8296c3f3d7b",
  "parents": [
    "9e4fe939dc2f50e59f121d1fa74931b1270fd37a"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Apr 06 12:24:13 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Apr 06 12:36:49 2025 -0700"
  },
  "message": "feat: `LeanMPZ` at `sharecommon_quick_fn`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1e287ce3947a4b16c3e44340b9259e3cea44bc1e",
      "old_mode": 33188,
      "old_path": "src/runtime/sharecommon.cpp",
      "new_id": "887054e97104488174c7fa786e12cbd0edb22c34",
      "new_mode": 33188,
      "new_path": "src/runtime/sharecommon.cpp"
    },
    {
      "type": "modify",
      "old_id": "d7f25637514e08acbbcf461562e935b68c4eff83",
      "old_mode": 33188,
      "old_path": "tests/lean/run/sharecommon_mpz.lean",
      "new_id": "d6b26a76e5c06e931e21bf0ad607117f21ef2043",
      "new_mode": 33188,
      "new_path": "tests/lean/run/sharecommon_mpz.lean"
    }
  ]
}