)]}'
{
  "commit": "ef966468cc798e988d1e136c0dd19ce0f79d0af6",
  "tree": "669a828e16dbb37ffed4cff9710633970a8ae643",
  "parents": [
    "b01d12cbd315dd17e16b30c017a4e73fe331bb07"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Feb 15 18:18:01 2025 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat Feb 15 18:25:59 2025 -0800"
  },
  "message": "chore: fix test to reflect recent changes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6b37c74ffb99e32521e4637429cc82286bf4168c",
      "old_mode": 33188,
      "old_path": "tests/lean/run/liaByRefl.lean",
      "new_id": "bbf9660c95da6e60a9ee5e338735eff5f2e5172d",
      "new_mode": 33188,
      "new_path": "tests/lean/run/liaByRefl.lean"
    },
    {
      "type": "modify",
      "old_id": "e55b1074b75c30f7a18f097b7100a7c9799fdf06",
      "old_mode": 33188,
      "old_path": "tests/lean/run/simpCnstr1.lean",
      "new_id": "79f4e8561b95a9c5b410c4d2fc26f55455224325",
      "new_mode": 33188,
      "new_path": "tests/lean/run/simpCnstr1.lean"
    },
    {
      "type": "modify",
      "old_id": "15f252c18ca09ecc5ae6c950e084323280e0ab28",
      "old_mode": 33188,
      "old_path": "tests/lean/run/simp_int_arith.lean",
      "new_id": "21f4023bf407ae3afada256ce7361906fed4d3fb",
      "new_mode": 33188,
      "new_path": "tests/lean/run/simp_int_arith.lean"
    }
  ]
}