)]}'
{
  "commit": "7439c664a3800802223f3df4095eb85abd50a96a",
  "tree": "9038a9553e5d7a4aad415f9e05d2c7b99cf86a41",
  "parents": [
    "216e13541be47e287fe166a1d3cfd7c265220c0d"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Aug 31 15:19:36 2026 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Aug 31 15:20:36 2026 +0000"
  },
  "message": "test: add a regression test for `lean_apply_m` over-application\n\nApplies 20 arguments in one call to a chain of arity-1 closures, which segfaults without the `lean_apply_m` fix.\n",
  "tree_diff": [
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "f039eaa182ac342c0e60d873f1792ba6bb6158e6",
      "new_mode": 33188,
      "new_path": "tests/compile/apply_m_overapp.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "d81cc0710eb6cf9efd5b920a8453e1e07157b6cd",
      "new_mode": 33188,
      "new_path": "tests/compile/apply_m_overapp.lean.out.expected"
    }
  ]
}