)]}'
{
  "commit": "76446f0407d976607b2933ed25599c83d30ba808",
  "tree": "bc3f01cb479d5c8605c9a3fe13221d78080b076b",
  "parents": [
    "4529c809304b8877a2431b278f775bcef7bfb803"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Oct 12 14:23:06 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Oct 12 14:23:06 2026 +0000"
  },
  "message": "test: shrink `ctor_many_fields`\n\nThe test took 90s to 210s in CI and exceeded the 1500s timeout of the sanitizer build. The 900-field structure and 700-field inductive type are replaced by sizes just past the second spill object, and cases that only repeated a layout already covered are dropped.\n\nCo-Authored-By: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1735b6db315b94edc4232ff2ce65b919506885da",
      "old_mode": 33188,
      "old_path": "tests/compile/ctor_many_fields.lean",
      "new_id": "f0bc06c8ab56eda01c4163a5642778d3ca76e5f8",
      "new_mode": 33188,
      "new_path": "tests/compile/ctor_many_fields.lean"
    },
    {
      "type": "modify",
      "old_id": "54763eac0e9e44ce164e9b8eb5de06923b47ce6e",
      "old_mode": 33188,
      "old_path": "tests/compile/ctor_many_fields.lean.out.expected",
      "new_id": "8b30dd1e1f4826eddd314528371e006ecb5a641b",
      "new_mode": 33188,
      "new_path": "tests/compile/ctor_many_fields.lean.out.expected"
    }
  ]
}