)]}'
{
  "commit": "995136d46b7dc42c6175ef7f62d9e0e501e1eaf5",
  "tree": "6c27c7eb5fe07715584eba01e6a682bd282e6c40",
  "parents": [
    "55691e2951c9b6a18910c5c91b1c23d14264ff90"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 02 10:03:12 2021 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Wed Jun 02 10:03:12 2021 -0700"
  },
  "message": "chore: fix test\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "0b4c5d50937a8344250081e21a7ce2161178d018",
      "old_mode": 33188,
      "old_path": "tests/lean/phashmap_inst_coherence.lean",
      "new_id": "9985cf2695d6a5ff00f0e04ce0cb62d575fde0e1",
      "new_mode": 33188,
      "new_path": "tests/lean/phashmap_inst_coherence.lean"
    }
  ]
}