)]}'
{
  "id": "3a989d91556b0a2aeaf32d8ea34f2cff4ea739db",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "010ceb06ecb9e734f1d9e5ff50da718d8d322512",
      "name": "run_miri.sh"
    }
  ]
}