)]}'
{
  "commit": "e0ead1ce175bee13f00a4b66741e038c1c4b697a",
  "tree": "556b424e1445b2ad8e8d8906ebf0675192debf79",
  "parents": [
    "62cdb51ed5b9d8487877d5a4adbcd4659d81fc6a"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Apr 24 13:10:46 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Apr 24 13:10:46 2024 +0200"
  },
  "message": "fix: trace timings in infoview\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f47b7685f5ad03d7505319c6f73ccc14ac1bedf8",
      "old_mode": 33188,
      "old_path": "src/Lean/Widget/InteractiveDiagnostic.lean",
      "new_id": "a5e8be1c91f81e74037f666daba922cab7fd084e",
      "new_mode": 33188,
      "new_path": "src/Lean/Widget/InteractiveDiagnostic.lean"
    }
  ]
}