)]}'
{
  "commit": "c390f49189e404c46a83e4e8a953280220f5685b",
  "tree": "8d3b7663954d3649f4445be9b8c302b0f9395f56",
  "parents": [
    "337c1c9af9f899d28202a8331681e3f5675e9f42"
  ],
  "author": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Mon Oct 05 12:41:59 2026 -0300"
  },
  "committer": {
    "name": "Sofia Rodrigues",
    "email": "sofia@algebraic.dev",
    "time": "Mon Oct 05 12:41:59 2026 -0300"
  },
  "message": "fix: fname \u003d\u003d nullptr and comments\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "5a8d214e1e4ed6ae66810537a53acc4b1be71346",
      "old_mode": 33188,
      "old_path": "src/Std/Internal/UV/System.lean",
      "new_id": "7bc289e645ffc02265ea880806f1dd005d48450e",
      "new_mode": 33188,
      "new_path": "src/Std/Internal/UV/System.lean"
    },
    {
      "type": "modify",
      "old_id": "d05375e68a89ef6c2470edba855c3f62e7b6f5bb",
      "old_mode": 33188,
      "old_path": "src/runtime/io.cpp",
      "new_id": "0ef8192cada32852635c5a0ca721271a15a12fea",
      "new_mode": 33188,
      "new_path": "src/runtime/io.cpp"
    },
    {
      "type": "modify",
      "old_id": "b60d163e6f49834add7ce9b7538cc4ebc04fbaa7",
      "old_mode": 33188,
      "old_path": "src/runtime/uv/event_loop.cpp",
      "new_id": "4c9d830889b3325feff7e4c30497585286627a8b",
      "new_mode": 33188,
      "new_path": "src/runtime/uv/event_loop.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "ba2830e7125ff19f009fcfe19f49356dd8c7a5cc",
      "new_mode": 33188,
      "new_path": "tests/elab/io_enoent_without_file_name.lean"
    },
    {
      "type": "modify",
      "old_id": "6db540ed16d67e1bfa705f6b5ccbd63b6a8c1f9b",
      "old_mode": 33188,
      "old_path": "tests/elab/uv_random_bounds.lean",
      "new_id": "6c076e68f9d30292b3f52a5adc558c4b1a488bae",
      "new_mode": 33188,
      "new_path": "tests/elab/uv_random_bounds.lean"
    }
  ]
}
