)]}'
{
  "commit": "a31d9d3369ba14a5fad3185ad52ca56e1df75f32",
  "tree": "7d6deee96a6c17ffc19802fbb0b304e7a51b6336",
  "parents": [
    "c87014dc75db79d9de45c5617e6765d3181e17cf"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 13 19:57:06 2020 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 13 20:06:16 2020 +0100"
  },
  "message": "chore: remove broken \u0026 redundant \"new parser Core.lean\" benchmark\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "16404b7befe54dfead4dd5318954996847316e98",
      "old_mode": 33188,
      "old_path": "src/CMakeLists.txt",
      "new_id": "6a26bafba79673f43b0cbc9ba92758e70d6681d0",
      "new_mode": 33188,
      "new_path": "src/CMakeLists.txt"
    },
    {
      "type": "delete",
      "old_id": "3560876538c7f401a628d45ede7c930d5681cf21",
      "old_mode": 33188,
      "old_path": "tests/bench/parser.lean",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "d14b1b36abb8b46a80ba59d385f2a27bc409978e",
      "old_mode": 33188,
      "old_path": "tests/bench/speedcenter.exec.velcom.yaml",
      "new_id": "ce47f8b452bcbc96e0fe98b87a1010f6f3e0685e",
      "new_mode": 33188,
      "new_path": "tests/bench/speedcenter.exec.velcom.yaml"
    }
  ]
}