)]}'
{
  "commit": "1bc446d3299be6c2edd9de5da1ce415325e3d241",
  "tree": "16c910d0f3f0a89cd704e130be94f754ab5b63e0",
  "parents": [
    "cf3a05e4f82055eb8485afe9795608b7eb2204dd"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Mon Feb 14 15:47:12 2022 -0800"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Feb 15 09:39:13 2022 +0100"
  },
  "message": "chore: fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "59f133038e82fb00e127fba4a3b6435a0d96085b",
      "old_mode": 33188,
      "old_path": "tests/lean/StxQuot.lean.expected.out",
      "new_id": "59d8dffd4030a59a0050969f11cbdbd5b9d0972b",
      "new_mode": 33188,
      "new_path": "tests/lean/StxQuot.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "e3aa8114521922ff6b7ef9ced3ed2dc895cd32eb",
      "old_mode": 33188,
      "old_path": "tests/lean/match1.lean.expected.out",
      "new_id": "0adbb091dffca6c08a7b74d6f6699b9744ec9b94",
      "new_mode": 33188,
      "new_path": "tests/lean/match1.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "34117a680c0f6dbfc3157fa1935ec3f38f3057f0",
      "old_mode": 33188,
      "old_path": "tests/lean/match2.lean",
      "new_id": "66067cc6cd926e7f91f1b25ba08606b6d951df15",
      "new_mode": 33188,
      "new_path": "tests/lean/match2.lean"
    },
    {
      "type": "modify",
      "old_id": "98a2e17f59c707c327d02657a875912700cf96dd",
      "old_mode": 33188,
      "old_path": "tests/lean/match2.lean.expected.out",
      "new_id": "0c3b35f693407bd1baaf5d4b676b74d8f38a58b1",
      "new_mode": 33188,
      "new_path": "tests/lean/match2.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "90f1f6480dfe3aea1a53b7e9cbbeb613e4cda597",
      "old_mode": 33188,
      "old_path": "tests/lean/ppMotives.lean.expected.out",
      "new_id": "506e4c010c88fdccc9b9305e031853b7e21c450c",
      "new_mode": 33188,
      "new_path": "tests/lean/ppMotives.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "009bb5cf057515b408f36724fa5cef48e9399335",
      "old_mode": 33188,
      "old_path": "tests/lean/unusedLet.lean.expected.out",
      "new_id": "e282187113ccb001c5ea2a2de370537f7a77e2e7",
      "new_mode": 33188,
      "new_path": "tests/lean/unusedLet.lean.expected.out"
    }
  ]
}