)]}'
{
  "commit": "cbaff3e521e61a0502448bc641bb6e67b27fe91a",
  "tree": "732f18c16868ef3ba5ec5d8bc875ecd82fbab61e",
  "parents": [
    "478cbba427aacbf5c2fdb7eaf067b51bbc348dda"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 01 20:28:10 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 01 20:42:05 2025 -0700"
  },
  "message": "test: more tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "de75918245e59b182a18e00c6a44114d517b8446",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pow_zero.lean",
      "new_id": "ad30a41243d697c4251ab5530f5739d736b100f7",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pow_zero.lean"
    }
  ]
}