)]}'
{
  "commit": "97a26b2cdf1b0d39fe7d83899e40cc47c7016d22",
  "tree": "90a6fb01e878975f7435f696fb9774256a0e80fa",
  "parents": [
    "a8a160b09147c3225150703ac727eea6ee9a3b0e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 18 18:28:57 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Dec 18 18:30:43 2024 -0800"
  },
  "message": "fix: `sharecommon`\n\nThis PR fixes a bug in the `sharecommon` module, which was returning\nincorrect results for objects that had already been processed by\n`sharecommon`. See the new test for an example that triggered the bug.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "67951044d0fb65a24a4d185e1e7d091b83028b20",
      "old_mode": 33188,
      "old_path": "src/runtime/sharecommon.cpp",
      "new_id": "e8132a146d1f8c4280d400c90b0441c98b25f711",
      "new_mode": 33188,
      "new_path": "src/runtime/sharecommon.cpp"
    },
    {
      "type": "modify",
      "old_id": "6948cf08d3588bceb4bb0b090eed7acccbb97035",
      "old_mode": 33188,
      "old_path": "tests/lean/run/sharecommon.lean",
      "new_id": "baf7fa9824eef7962395d75319f1efd60ed83209",
      "new_mode": 33188,
      "new_path": "tests/lean/run/sharecommon.lean"
    }
  ]
}
