)]}'
{
  "commit": "10f2a4418f5ac48464950735cc17b32eac9deb1f",
  "tree": "40b95be3cb6c6818c6f897158767a682dbf34e30",
  "parents": [
    "995726f75fd7eed223c2189a54f6df3293185327"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Mar 14 15:50:54 2024 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Thu Mar 14 15:50:54 2024 +0100"
  },
  "message": "chore: build `Lean` `.o`s in parallel to rest of core\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "60fc1241a66e6a1c3e9916ec7ce0cc94438be9ae",
      "old_mode": 33188,
      "old_path": "src/lean.mk.in",
      "new_id": "98084ffea889348b18e478e430a87de33d5a6565",
      "new_mode": 33188,
      "new_path": "src/lean.mk.in"
    },
    {
      "type": "modify",
      "old_id": "2713af78861e5d137d05cea6b70a2b0611c69aae",
      "old_mode": 33188,
      "old_path": "src/stdlib.make.in",
      "new_id": "ef98b4a3680e0ede4bdffa472f45589f6c32211e",
      "new_mode": 33188,
      "new_path": "src/stdlib.make.in"
    }
  ]
}