)]}'
{
  "commit": "44f5ddeb8d2a740283db1482c7be2ef94c87f1a8",
  "tree": "77b5fa658774d37d0ac06f0379f443631ffc8ef3",
  "parents": [
    "1f4a351e0e25d0932f38c79bbb0af9aa71e6b397"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jan 27 17:46:22 2026 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jan 27 17:46:22 2026 -0800"
  },
  "message": "chore: add ex\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "157f978de779af980b14a4d516e89e49d99504fb",
      "old_mode": 33188,
      "old_path": "tests/bench/delayed_assign.lean",
      "new_id": "7417272c8252366b2b7f9f526950703f56441efd",
      "new_mode": 33188,
      "new_path": "tests/bench/delayed_assign.lean"
    }
  ]
}