)]}'
{
  "commit": "9c527f6db4e612f9ebbabefd7faff21711192308",
  "tree": "d00902e321316d1f1711fcffc1f2627bb6b2566b",
  "parents": [
    "c279397e208e7a39fd816a961e5d77e96c8fe2dc"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Sep 29 15:32:55 2026 +0000"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Sep 29 15:32:55 2026 +0000"
  },
  "message": "test: use `warn.sorry false` in `grind_bitvec2`\n\nThe benchmark produces no output now, so `grind_bitvec2.lean.out.expected` is not needed.\n\nCo-Authored-By: Claude Fable 5.1 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "06c30291ce58039f3feb565b604f1fd4eee95d8a",
      "old_mode": 33188,
      "old_path": "tests/elab_bench/grind_bitvec2.lean",
      "new_id": "c00081d8341083f0d3e62f4520f27060add7be57",
      "new_mode": 33188,
      "new_path": "tests/elab_bench/grind_bitvec2.lean"
    },
    {
      "type": "delete",
      "old_id": "9a64d95b8ce92fb5df8f55caf68e72231e6634c9",
      "old_mode": 33188,
      "old_path": "tests/elab_bench/grind_bitvec2.lean.out.expected",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    }
  ]
}