)]}'
{
  "id": "294f6da88fbf8abf904a95a519e731041f248062",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "c5e5376f4611ee92944167586805d76ad4203011",
      "name": "run_miri.sh"
    }
  ]
}