)]}'
{
  "commit": "d21444af6e6d23526849e34bca61d9902f406a6d",
  "tree": "092f402f21faa6d87a0d9164dcd4109e399f4a23",
  "parents": [
    "0a94c8ca0d1247d1ddb9471d5a01a2bf6d8beaa2"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jun 14 20:36:51 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Jun 14 20:36:51 2025 -0700"
  },
  "message": "chore: update tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9a4b6138cb092dd3936cf1a4feb428206e89e942",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/algebra/field_normalization.lean",
      "new_id": "6b6a19992d83f64ec31059fe210f820e2cc2b3ad",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/field_normalization.lean"
    },
    {
      "type": "modify",
      "old_id": "09adac487aaf0d8d4cb04ba25188fe51b5b57648",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/ring_regressions.lean",
      "new_id": "755ce2be2284796563743c978f3cb472d6024097",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/ring_regressions.lean"
    }
  ]
}