)]}'
{
  "commit": "9b9a031ff759dc201593eeff875295c102b344de",
  "tree": "344d72aafdd5a67bd11a09a6f922f2236f16af74",
  "parents": [
    "bf08a49608aca4ea6adfc0de5eb6dcd1f386b7b5"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 13 22:21:56 2025 -0400"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 13 22:21:56 2025 -0400"
  },
  "message": "chore: update test\n\n`congrArg` is not needed anymore.\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "d777ad28451b1badf847199df9e8f02542e7da92",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/grind_congrArg.lean",
      "new_id": "88c1eb4add42a250c6aa3659279bf95ea2ce489d",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/grind_congrArg.lean"
    }
  ]
}