)]}'
{
  "commit": "c27d1d89941eff32cf5d9748d4126b22672d28e0",
  "tree": "0261435bf8e1f6959e99aec846d196ae3df7954d",
  "parents": [
    "2fedd7144aff67f65ee95736d6fa8a1f9319ebc4"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 30 10:06:28 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Jan 30 10:06:28 2025 -0800"
  },
  "message": "test: `constProp` using `grind`\n\nIt has many TODOs\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3070b9e8ef962c6ee62413510f0e1f42e3a86df2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_constProp.lean"
    }
  ]
}