)]}'
{
  "commit": "0f85147de70420e1d8c54d120a93b85a80e2e360",
  "tree": "611f851c968322bbae4fb58c373676d4cd8d5afe",
  "parents": [
    "db414957a0402da9cd44773d37186b1c9220d359"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Jun 16 12:37:39 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Jun 16 12:37:39 2025 +1000"
  },
  "message": "chore: cleanup of grind tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "76a8a5e91959da046ef2d2be9051429da6d6da56",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/Basic.lean",
      "new_id": "b6ad20a2a6a9cfa77a85bc8e557628321ed45c30",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "e7874549c54c482d2a19aabf9f094b255ed9fdb4",
      "old_mode": 33188,
      "old_path": "src/Std/Data/ExtDHashMap/Lemmas.lean",
      "new_id": "751887a027cee2927040952b3b0f203f69bdc483",
      "new_mode": 33188,
      "new_path": "src/Std/Data/ExtDHashMap/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "13e68baf6b63baa79d49dd776bb906fbe7a780f9",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/algebra/ordered_modules.lean",
      "new_id": "9c5192cad253612ab56c5e3fa1346935f692483a",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/algebra/ordered_modules.lean"
    },
    {
      "type": "delete",
      "old_id": "47b8c8ecd575a8612e427084856ef7fd55c7531d",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/dhashmap_pattern.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "4070097e7b203833f9f20288061177d576fedc10",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/experiments/list_count.lean",
      "new_id": "ecb3a217e3d7355d5d4a59114cdf89d56fc80c79",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/experiments/list_count.lean"
    },
    {
      "type": "modify",
      "old_id": "dabd033aaab5eaad9cc29c130917013c6cab4c53",
      "old_mode": 33188,
      "old_path": "tests/lean/grind/experiments/map.lean",
      "new_id": "7bf6957f76231ba3f0f75012e6696e0be38685c8",
      "new_mode": 33188,
      "new_path": "tests/lean/grind/experiments/map.lean"
    },
    {
      "type": "modify",
      "old_id": "8d65f3b747e1ac30ce09b42f5c294edcffaeef8e",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_list_count.lean",
      "new_id": "f50aff706ccd146ee437a77d4804ace317e8f85e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_list_count.lean"
    }
  ]
}