)]}'
{
  "commit": "e0c2cfd9b5019d7103092479faa88a8067264eee",
  "tree": "ba21057cfa3fcb9d95ee32d68e0f717fcb8eaace",
  "parents": [
    "9d30226ad4039f7873dbf83166c5a49db8dedcb9"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jul 23 14:54:59 2025 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Jul 23 16:15:25 2025 +0200"
  },
  "message": "temp heartbeats bump\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3432226d947354f78203961cf0557712fd609271",
      "old_mode": 33188,
      "old_path": "tests/bench/simp_local.lean",
      "new_id": "50bf03ea911569c3f642e904d4cefc32c7a07f65",
      "new_mode": 33188,
      "new_path": "tests/bench/simp_local.lean"
    },
    {
      "type": "modify",
      "old_id": "a9b68b16404aa21d82a8f36319a9dcdc7daa4236",
      "old_mode": 33188,
      "old_path": "tests/lean/run/isDefEqProjIssue.lean",
      "new_id": "c8c31c32abef0fc8aeb7b46b471a56878f7c8b4e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/isDefEqProjIssue.lean"
    },
    {
      "type": "modify",
      "old_id": "b1a43fef5302b5b6094f4b39cf22f8fd52c34436",
      "old_mode": 33188,
      "old_path": "tests/lean/run/match_expr_perf.lean",
      "new_id": "ad00cf846944b67397ebe25fdd12bb30912bce28",
      "new_mode": 33188,
      "new_path": "tests/lean/run/match_expr_perf.lean"
    }
  ]
}