)]}'
{
  "commit": "3c81b3d3115c883966e8c3ab88560ad9bcee42c1",
  "tree": "178cefdf6936ba209461274d357b98194ced47c3",
  "parents": [
    "aad9fd66c55be0c3c0308f8fe06a4602f8478702"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri May 10 16:48:39 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri May 10 16:48:39 2024 -0700"
  },
  "message": "feat: add `debug.moduleNameAtTimeout` option\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "fc1923be0627f5cefb670dfacfc34d5e3a2bee42",
      "old_mode": 33188,
      "old_path": "src/Lean/CoreM.lean",
      "new_id": "2aa865b78cff98e457c455d64888d320736d6af1",
      "new_mode": 33188,
      "new_path": "src/Lean/CoreM.lean"
    },
    {
      "type": "modify",
      "old_id": "53d3179f86ea8daa40e26f4e278c77d3c4298c7d",
      "old_mode": 33188,
      "old_path": "tests/lean/run/3554.lean",
      "new_id": "ac3afc8ef3536d2959fc88befe9e6d95822d000a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/3554.lean"
    }
  ]
}