)]}'
{
  "commit": "aba5663993d98de1f9af35d0fe351f64fb62e714",
  "tree": "09ff80e38ebb2a4b0a158099ccac5218363ab35a",
  "parents": [
    "1cf93473d8a69e1dfd577b9a03bf2fc7b27e6ef7"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jun 19 10:57:58 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Jun 19 11:00:55 2024 -0700"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "79dd439b31334784a5ea3912b49e6b94afc9b559",
      "old_mode": 33188,
      "old_path": "tests/compiler/phashmap.lean",
      "new_id": "8d7e4904c0870125eed45e14b56277cadcd4e121",
      "new_mode": 33188,
      "new_path": "tests/compiler/phashmap.lean"
    },
    {
      "type": "modify",
      "old_id": "622f1b9b0c0d1fcc98e43043795830c8cadd4269",
      "old_mode": 33188,
      "old_path": "tests/compiler/phashmap.lean.expected.out",
      "new_id": "cc14f033802f6f618bdc5092e225a8eeaebecde9",
      "new_mode": 33188,
      "new_path": "tests/compiler/phashmap.lean.expected.out"
    }
  ]
}