)]}'
{
  "commit": "40111c3e61352b15338d3a737452748fbf2933b5",
  "tree": "38a55aa4a04d950182ecc651d06de00e186520d4",
  "parents": [
    "d1f2596dc135737dde5f317ab5e2977debed009c"
  ],
  "author": {
    "name": "Julia Markus Himmel",
    "email": "2065352+TwoFX@users.noreply.github.com",
    "time": "Tue Nov 10 08:17:13 2026 +0000"
  },
  "committer": {
    "name": "Julia Markus Himmel",
    "email": "2065352+TwoFX@users.noreply.github.com",
    "time": "Tue Nov 10 12:03:40 2026 +0000"
  },
  "message": "Build less and check linked against headers for OpenSSL\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ba03a079c089a297e58ebb146b979333eb257c10",
      "old_mode": 33188,
      "old_path": ".github/workflows/build-template.yml",
      "new_id": "e6eee1dadd231fe10275e02d31f171b288264bea",
      "new_mode": 33188,
      "new_path": ".github/workflows/build-template.yml"
    },
    {
      "type": "modify",
      "old_id": "8a7bc321a92f09b62ffbb76b0acc30fe743988b6",
      "old_mode": 33188,
      "old_path": "src/Lean/Runtime.lean",
      "new_id": "f899b3c058b2fbde8d524e4c8b0c58fdaa2d2da8",
      "new_mode": 33188,
      "new_path": "src/Lean/Runtime.lean"
    },
    {
      "type": "modify",
      "old_id": "105678cf2b203160bdaec89cefe9fc93d8734bda",
      "old_mode": 33188,
      "old_path": "src/runtime/openssl.cpp",
      "new_id": "4b0a4c695d2caf8afb54d9fa31866e705e8fedb8",
      "new_mode": 33188,
      "new_path": "src/runtime/openssl.cpp"
    },
    {
      "type": "modify",
      "old_id": "b7d091941f35735975a570e272760adf5c8cdc81",
      "old_mode": 33188,
      "old_path": "src/runtime/openssl.h",
      "new_id": "0cbcb6257f138bed9b416ab22ed128d02a739e82",
      "new_mode": 33188,
      "new_path": "src/runtime/openssl.h"
    },
    {
      "type": "modify",
      "old_id": "52228b8884c4d9165e4f956e9698b8177b49ca9a",
      "old_mode": 33188,
      "old_path": "tests/elab/openssl.lean",
      "new_id": "2ae67978747ee7ebaa785ab3e7dc4c6061410cb7",
      "new_mode": 33188,
      "new_path": "tests/elab/openssl.lean"
    }
  ]
}