)]}'
{
  "commit": "727ea283d37ba74b8296ae2c4130e9ff4bfdf5f7",
  "tree": "0b0018a4b9e646429b0fd4238b2703db41778fac",
  "parents": [
    "045f8c791af5c60923efad106158841e6900f976"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 04 19:04:56 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 04 19:05:49 2025 -0800"
  },
  "message": "test: cooper\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "5f3b532e711f265d8f87e8e5cd4b157347deb753",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_cutsat_cooper.lean"
    }
  ]
}