)]}'
{
  "commit": "c3f7762c1807c60a950d21379fe64244037a01e8",
  "tree": "1f1d45b6c437c600a502629245f3a07cd6d7656e",
  "parents": [
    "d9eddc9652051bb2baa978859bb2731f03c464c8"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 07 17:38:51 2023 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 07 17:38:51 2023 +0100"
  },
  "message": "chore: add `import Lean` benchmark\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6cc0d1783d0fc3eaff30a71e755dec61ea7c469a",
      "old_mode": 33188,
      "old_path": "tests/bench/speedcenter.exec.velcom.yaml",
      "new_id": "3e0b845910b936286cf8bf659bd7794262477fcc",
      "new_mode": 33188,
      "new_path": "tests/bench/speedcenter.exec.velcom.yaml"
    }
  ]
}