)]}'
{
  "commit": "89e1b4d304292a3619f7ccd4d5d6d05d1a960d2e",
  "tree": "5ed46658695d8d38f6b6bd63ca466505a674adff",
  "parents": [
    "f8816b8c1513f8f15e7b4b5efe44eb97dcf88ebf"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Aug 06 10:22:28 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Aug 06 10:23:25 2024 -0700"
  },
  "message": "chore: reduce benchmark stack usage\n\nWe are running out of stack space in debug mode\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1746da63124a680dfc544151e3159f323c060489",
      "old_mode": 33188,
      "old_path": "tests/bench/dag_hassorry_issue.lean.args",
      "new_id": "443a3b1eca65803551a309e2e4782d73fcb4d37f",
      "new_mode": 33188,
      "new_path": "tests/bench/dag_hassorry_issue.lean.args"
    }
  ]
}