)]}'
{
  "commit": "4256fb6e7eec1b94457ddccf83af0e706550f5de",
  "tree": "1fe93c81e57d969a41d27996de8ce4fd968ae7c4",
  "parents": [
    "5772db50aa6399136f1e59692f77da1377656eed"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Oct 22 01:21:57 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Oct 22 01:21:57 2026 +0000"
  },
  "message": "test: tighten heartbeat bound in #4861 regression test\n\nThe test now fails if stuck type class problems are again retried after every default instance.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "9799a6cdc0291c3229c0fa23c128960f30878857",
      "old_mode": 33188,
      "old_path": "tests/elab/4861.lean",
      "new_id": "7e4ef3facd4ed3519d00ffb994e75e9ac983432e",
      "new_mode": 33188,
      "new_path": "tests/elab/4861.lean"
    },
    {
      "type": "modify",
      "old_id": "b3325971abd5739708f4b7efcf9fc9d0e3404cd1",
      "old_mode": 33188,
      "old_path": "tests/elab/4861.lean.out.expected",
      "new_id": "08d5092698377c523eac019bcaaef3ed3e57f3a8",
      "new_mode": 33188,
      "new_path": "tests/elab/4861.lean.out.expected"
    }
  ]
}