)]}'
{
  "commit": "e7637991ad78e48e0c3989cf9818557e66859cfd",
  "tree": "0db39e677d95cb3a523a30585e9a91515b9a28fd",
  "parents": [
    "5523943ba42033994f1d212945e88c207efb1d5e"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Jun 01 10:23:08 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sun Jun 01 10:23:08 2025 -0700"
  },
  "message": "chore: update tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "39cd45e4d2e7b3892733a8bd9461db4bfc760d76",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ring_1.lean",
      "new_id": "fef54b1d1c51eb284a01e49927d0768197bcb594",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ring_1.lean"
    },
    {
      "type": "modify",
      "old_id": "b58245b10f78b09bf566288627891590bf5553ae",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ring_2.lean",
      "new_id": "beb6caf782463e378c08e2dfb3e94d56faffad3b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ring_2.lean"
    },
    {
      "type": "modify",
      "old_id": "9970d62e8473320710381bee6dc2a95531b400a2",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ring_3.lean",
      "new_id": "ea130c7acef2148f87da3a8a67c157b20a3b3415",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ring_3.lean"
    },
    {
      "type": "modify",
      "old_id": "704aaf35ff1771afabec033f875531590ec6ac02",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ring_4.lean",
      "new_id": "14c265c9088e77a6e1ffd0a43b8eb0e8ebd3bdc4",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ring_4.lean"
    },
    {
      "type": "modify",
      "old_id": "abbafd2d0669b1a591cd2d9c026eefaf55bffddf",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_ring_5.lean",
      "new_id": "da09fec46b038a199dc600d0f3a58de7f5c2dedb",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_ring_5.lean"
    },
    {
      "type": "modify",
      "old_id": "7d4eebd2c9b9f5edc5a49c0fdb4d4948982d6d1f",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_trig.lean",
      "new_id": "67687689e529473b7525034c3dd5415432e7b8b1",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_trig.lean"
    }
  ]
}