)]}'
{
  "commit": "7123ba9702639e656f47a1466c113d9484ac0dd5",
  "tree": "d1d16b970a28cf713a86ca0862f4e4b9f2d45659",
  "parents": [
    "47dc348a11477062477cd00ce71e6d0fb448b29b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Apr 27 14:54:46 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Apr 27 14:55:53 2024 -0700"
  },
  "message": "perf: more issues at `isDefEqProj`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3e7e557ee4ebd9fa6238df27345fb84f0f01d1fd",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "e6ff8fc19256f56d78e42b7a706494d5d2141243",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "8da28164f60bc03898c6755cdae66408f95f0bb2",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "dbdebc7b6fb05600dc5bb0acccafa4d02667d43e",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    },
    {
      "type": "modify",
      "old_id": "047af940dfd5b0aa5c2660ba09ff4df4e73eb8b0",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/SynthInstance.lean",
      "new_id": "651532b4a9f99bf28a0aee8a6c64e443456bf501",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/SynthInstance.lean"
    },
    {
      "type": "modify",
      "old_id": "02364c7de3502e8c73dcd2295facaeb8870a1302",
      "old_mode": 33188,
      "old_path": "tests/lean/run/3965_3.lean",
      "new_id": "e1b46e10c54cc3447497b2c770f5c580a7b2ef0d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/3965_3.lean"
    }
  ]
}