)]}'
{
  "id": "9a628abc8314f459ae503a9044434b1ea4923f09",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "6fc1e663e2a0eba1f7ea9d205b1b7d9e469526a7",
      "name": ".gitignore"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "51e92ef7b831e8f36c1765b3b7de80d68a869ee8",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "33492a87744623864218094cba09ee210dd9d90d",
      "name": "README.md"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "68013b5f02b63fbb6f95ab0a1d46c2d137506320",
      "name": "async"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b724c85d08d77e58b92c672677e9d91bd2b0d119",
      "name": "bench"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "a4fc8b2f146a8505413d274bace637cde6a5cac6",
      "name": "bench_build.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "1905f9b3c9c5f26966223e0e81b176d9a839d737",
      "name": "bench_other.sh"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3e31f1c8e4792559e7d72e52484582df4cd07cc9",
      "name": "build_lean_header_snapshots.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "bf5e3b6dcefbbfad215a60c52951cc4afc9709b2",
      "name": "combine.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0a74a0e5fb23c2a0db2c767d778e990aa5a5c5db",
      "name": "compile"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c5d4f4aa681007985f22240f5d916b0e08cf9913",
      "name": "compile_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "070a3348cfc054756bd00973596d7f4f5adc90b4",
      "name": "docparse"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d979f4c63f9c8cd836e8a5635edd97f6811c810",
      "name": "elab"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4980b2635a2d31d2caf7c8f987873f2171817f3a",
      "name": "elab_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7096eb18bf67a1c307da7955025b1fb1f6e36a12",
      "name": "elab_fail"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eda1cd8d98ecb72c46a3990c33b24dd1e90d66da",
      "name": "elabissues"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "73b1fdb852c42babe4dc5fcee862b38a0355f98f",
      "name": "evict.py"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "38c8e986036e47be6ded3635ff4e4c8a35031a63",
      "name": "fix_expected.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a40aa3189a1b92132ddcce4edb662b9480a332ce",
      "name": "flake.lock"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "b4f3a2ca3f0cf8e2225f0959ef8323ef698cd2fc",
      "name": "flake.nix"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cdd5fcc179b17d43fc98bf5b2d939590631d7094",
      "name": "ir"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cb2c5df1f803297785888774799f8abe13329018",
      "name": "lake"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5db51caba46173971141b1fe0c65b18a8f5c0029",
      "name": "lake_bench"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7b462676214d626373813489a71de69d7fd96144",
      "name": "lakefile.toml"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "247b11861889dd4d04c54985a032fafcc1f627c7",
      "name": "lean-toolchain"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "835f64dd2a36fdd1ace97e4767e916c03574e7b7",
      "name": "lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0ae72fbb2e2e4bb584694bd19657bd6c339a80d1",
      "name": "lia_perf"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "353f4944f12cd24cb2b6428ed676e35c66ab5c98",
      "name": "lint.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "fa0d30ce305209e4dd948d19d9cd6e8ecb1815e7",
      "name": "markdown_conformance"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "d3691c38149ae08658a2b3d349a850f7620fb6d8",
      "name": "measure.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "503f7b4a3dd53f4e3247510fe2e42f0e8925afe6",
      "name": "misc"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b8e6d1e9e7f2d00d2e7bc7f08d10ba49caffe20f",
      "name": "misc_bench"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "59ae0f21049556106efd98c348133b7f267f4941",
      "name": "misc_dir"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "41e576de0d3c40d2675d800f8a4a2201bc658f69",
      "name": "pkg"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "341754e9bd6546760bdbf32a46fb8b63cb45c061",
      "name": "playground"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "fae258cf0247b5d0c5585c89f5a5f65e95928d25",
      "name": "repeatedly.py"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c6e5e62a48ee463faa24cf3ed786e68172aac608",
      "name": "ring_perf"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0d6932bd9bda03d55fdc2782de1a9b9fa604be6c",
      "name": "server"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "371a4cfba5bb546f472cbe47fed3f158ef4bf5e0",
      "name": "server_interactive"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "997b6162ce256b5fae1a33301c06c24ca5435bac",
      "name": "simpperf"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "7030ad11ad42159f419c91fbd545f887ee1b9346",
      "name": "trace_timings.py"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e83bf5f92da1b7d5d216f6e0c5d346223bb12da5",
      "name": "util.sh"
    },
    {
      "mode": 33261,
      "type": "blob",
      "id": "b6c12814e35a7898fa4bcce994594b5e3b24c427",
      "name": "with_env.sh.in"
    }
  ]
}