)]}'
{
  "commit": "a06e0edcf31520f063d26391704e2efc3dd125ab",
  "tree": "0b57babf6aeab19c514d5ad901a569e1ccc2a5ca",
  "parents": [
    "8f8aa0baca4597291ddf136bbec48757920abd8a"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 13 20:57:53 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 13 20:57:53 2024 -0700"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a038be803a607a9353d1357bc4f7805a31362e40",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean.expected.out",
      "new_id": "2411f8e1a804e67a400c55b82499bdee3fe5def0",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "93a0a77d6962e04139a26fbeb6f04fba9fd21225",
      "old_mode": 33188,
      "old_path": "tests/plugin/SnakeLinter.lean",
      "new_id": "093e15fd8f3b96cc107bc09e6442486a1ecb004f",
      "new_mode": 33188,
      "new_path": "tests/plugin/SnakeLinter.lean"
    }
  ]
}