)]}'
{
  "commit": "984d48fdd4517d5811e21f1b544dc4cf269b37f6",
  "tree": "28764e768c1a1ed255cfde1a0bc41de0bcb81d84",
  "parents": [
    "b74d7fe0d4d50f7cad0f2e4677371ba019b09992"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 27 11:58:48 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue May 27 12:00:58 2025 -0700"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6d86058b2e5df6fcee24fda371b479c7de1fb727",
      "old_mode": 33188,
      "old_path": "tests/lean/ppMotives.lean.expected.out",
      "new_id": "e6c4f0de259762ca903416d68b9ff2c81e887887",
      "new_mode": 33188,
      "new_path": "tests/lean/ppMotives.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "5f52433c0cfe9396dcfe08ddc9e944279fa187e6",
      "old_mode": 33188,
      "old_path": "tests/lean/run/congrReserved.lean",
      "new_id": "1ebeec974fcc05378b1e8799b6117c3dd8da0f99",
      "new_mode": 33188,
      "new_path": "tests/lean/run/congrReserved.lean"
    },
    {
      "type": "modify",
      "old_id": "c0b3410a9ce6a3ad731368276f81189fa9fece61",
      "old_mode": 33188,
      "old_path": "tests/lean/run/congrThm2.lean",
      "new_id": "938202046d38d84db6fa2019696644b1b67d0c6d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/congrThm2.lean"
    },
    {
      "type": "modify",
      "old_id": "a704ca4a0d7a9552f65fa912c2237b409e3b63a0",
      "old_mode": 33188,
      "old_path": "tests/lean/run/generalizeMany.lean",
      "new_id": "eb98e568197a899624eff4399798c921aa085d43",
      "new_mode": 33188,
      "new_path": "tests/lean/run/generalizeMany.lean"
    },
    {
      "type": "modify",
      "old_id": "99f11bc74e77f976ecce720388673c2009b2f847",
      "old_mode": 33188,
      "old_path": "tests/lean/run/genindices.lean",
      "new_id": "099e6bf6f882e03a2f50702d2ad67577c77afe0d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/genindices.lean"
    },
    {
      "type": "modify",
      "old_id": "26c075fdf0f72ec336735a80b3e0c2e7a631d63c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_cases_tac.lean",
      "new_id": "f67878336ebe00fb623555953f628fa1f8c92255",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_cases_tac.lean"
    },
    {
      "type": "modify",
      "old_id": "c71f7e65bd6f20638d91186eac286b73dc9d2080",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_eq.lean",
      "new_id": "4a65eea50b69e67be9c33c836dda75775696fe2d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_eq.lean"
    },
    {
      "type": "modify",
      "old_id": "14ed3eb186e334bc297216f297a43688cee314d8",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_pre.lean",
      "new_id": "0e97608e90a1073a5c0d5d97c8255b06a541c53b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_pre.lean"
    },
    {
      "type": "modify",
      "old_id": "f8d1fff1e25fb40b431076ddaf7b533038ca6fb3",
      "old_mode": 33188,
      "old_path": "tests/lean/run/grind_split_issue.lean",
      "new_id": "e4334ec39481273ce6c7c8919e1617ed4e951609",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_split_issue.lean"
    },
    {
      "type": "modify",
      "old_id": "01de361257fffeadf808ac3bf73588987988db0c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/linearNoConfusion.lean",
      "new_id": "d5012336e71a43619ddcd50a0ba37066d26e5a2b",
      "new_mode": 33188,
      "new_path": "tests/lean/run/linearNoConfusion.lean"
    },
    {
      "type": "modify",
      "old_id": "260ee08dac3b4a0d28ba5d392c6b0a92abf3f0b0",
      "old_mode": 33188,
      "old_path": "tests/lean/run/matchCongrEqns.lean",
      "new_id": "ffa6e77c30e2fccda381fbf79747e037de9071d6",
      "new_mode": 33188,
      "new_path": "tests/lean/run/matchCongrEqns.lean"
    },
    {
      "type": "modify",
      "old_id": "9b4dd6ba542762f9b8430e4b5fb104822b615aaf",
      "old_mode": 33188,
      "old_path": "tests/lean/run/multiTargetCasesInductionIssue.lean",
      "new_id": "8724eb46a1967c1db2e914fe25e825d0d40f6e3e",
      "new_mode": 33188,
      "new_path": "tests/lean/run/multiTargetCasesInductionIssue.lean"
    },
    {
      "type": "modify",
      "old_id": "5b7bdae394f1a42c686e080fc3c039272e691980",
      "old_mode": 33188,
      "old_path": "tests/lean/run/rflTacticErrors.lean",
      "new_id": "86a2724b2c601aa0c520dfe2660ca5eef9ead55d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/rflTacticErrors.lean"
    }
  ]
}