)]}'
{
  "commit": "80799ea6aeb2f73f1cf60cabe9db80e409cb0c3a",
  "tree": "d071479c6e937285e93c24d674ad5eb1686d7400",
  "parents": [
    "0ae7c85d46df0c21ce7aa6daca70468fe4492730"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 10 23:21:07 2026 +0000"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Tue Nov 10 23:21:07 2026 +0000"
  },
  "message": "fix: apply `LEAN_STACK_SIZE_KB` to the libuv event loop thread (#16376)\n\nThis PR makes `LEAN_STACK_SIZE_KB` also apply to the libuv event loop\nthread.\n\nThat thread is started during runtime initialization, before the\nvariable used to be read, so it always reserved the default 1 GB stack\nand programs failed with `failed to create thread` under address-space\nlimits such as AWS Lambda. The variable is now read in\n`initialize_thread`, which precedes `initialize_libuv` in\n`lean_initialize_runtime_module`; this replaces the reads in\n`lean_run_main` and `lean_main`. `--tstack` still overrides it for\nthreads created after option parsing.\n\nFixes #16365\n\nCo-authored-by: Claude Opus 5.5 \u003cnoreply@anthropic.com\u003e",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "40c64bfc32e5f8cb56fa06eb6f2ae66678fab6a7",
      "old_mode": 33188,
      "old_path": "src/runtime/thread.cpp",
      "new_id": "dd88a22193a8f46f8374c31b43aaf1c871632a53",
      "new_mode": 33188,
      "new_path": "src/runtime/thread.cpp"
    },
    {
      "type": "modify",
      "old_id": "07e18dc104a4db81d0b848f900c3e4e00a67d2fd",
      "old_mode": 33188,
      "old_path": "src/runtime/thread.h",
      "new_id": "307da36309559869a288acc9d223e1bdab8e8f30",
      "new_mode": 33188,
      "new_path": "src/runtime/thread.h"
    },
    {
      "type": "modify",
      "old_id": "1bf70ae2b1a5b783fe682651be1089f4e9924315",
      "old_mode": 33188,
      "old_path": "src/util/shell.cpp",
      "new_id": "3a16f3637d3fa576923e32554d8150e355cb2392",
      "new_mode": 33188,
      "new_path": "src/util/shell.cpp"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3e26305438d849f762504e1775d47ba1af2223f5",
      "new_mode": 33188,
      "new_path": "tests/misc/thread_stack_size_env.sh"
    }
  ]
}