)]}'
{
  "id": "99960201b9e2da0afc4ba32c1e6d9e8ed19288f8",
  "repo": "tvm",
  "revision": "HEAD",
  "path": "src/runtime/extra/disco/disco_worker_thread.h"
}