)]}'
{
  "commit": "86b49081ef1e260c5a5d7d7d2cf535dbf87a20e3",
  "tree": "cd41bef65e21573462d2d6e4ca637d019ebf0e89",
  "parents": [
    "7c8770bf55a8f832ff6ceb210c0b57721054a6ee"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Sep 06 18:08:03 2018 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Thu Sep 06 18:08:03 2018 -0700"
  },
  "message": "chore(tests/lean): fix tests\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dc36037239d79c9ce02141f906e27ed12979c796",
      "old_mode": 33188,
      "old_path": "tests/lean/check.lean.expected.out",
      "new_id": "8f60a37152d3054c40444b67326381a446ef3695",
      "new_mode": 33188,
      "new_path": "tests/lean/check.lean.expected.out"
    },
    {
      "type": "modify",
      "old_id": "385f221c771d8f3cb686e47da423f89a47b6e137",
      "old_mode": 33188,
      "old_path": "tests/lean/run/coroutine.lean",
      "new_id": "64c4a945410ca7575b9e520d1bf7564cb654c298",
      "new_mode": 33188,
      "new_path": "tests/lean/run/coroutine.lean"
    },
    {
      "type": "modify",
      "old_id": "f11c5aaa983496b75e1754eb5eac6bd63f5fd6b5",
      "old_mode": 33188,
      "old_path": "tests/lean/run/new_inductive.lean",
      "new_id": "a140fe814b6614d56224110017537412a89a27f1",
      "new_mode": 33188,
      "new_path": "tests/lean/run/new_inductive.lean"
    },
    {
      "type": "modify",
      "old_id": "03d72a382e89e2dc6248016aae54813c9408117a",
      "old_mode": 33188,
      "old_path": "tests/lean/run/new_inductive2.lean",
      "new_id": "f5c1befb6488e57512152c7aaff733d0335de3aa",
      "new_mode": 33188,
      "new_path": "tests/lean/run/new_inductive2.lean"
    }
  ]
}