)]}'
{
  "commit": "6771391890535d27e97c64c2b858800baaf61741",
  "tree": "25d99f6a80263ad0d957cf552d92a35ae154cc52",
  "parents": [
    "bd091f119bc836e91d48c856307a3cfa271225af"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 28 19:18:51 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Jun 28 19:18:51 2024 +0200"
  },
  "message": "fix: adapt kernel interruption to new cancellation system\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7071b16a6589a42d32a898cce2da0a375edd95d9",
      "old_mode": 33188,
      "old_path": "src/Init/System/IO.lean",
      "new_id": "1cacbe6009f10dfe5f67895ab104620aa3b808bb",
      "new_mode": 33188,
      "new_path": "src/Init/System/IO.lean"
    },
    {
      "type": "modify",
      "old_id": "d046787fa4883394b5a89eb3978a75464069f815",
      "old_mode": 33188,
      "old_path": "src/Lean/AddDecl.lean",
      "new_id": "128fb20a00cfa2625d507b3e91dde69a1a277c20",
      "new_mode": 33188,
      "new_path": "src/Lean/AddDecl.lean"
    },
    {
      "type": "modify",
      "old_id": "5cb3b690e74694003aa842c6475b2de566944ef9",
      "old_mode": 33188,
      "old_path": "src/Lean/Environment.lean",
      "new_id": "22be24fff5946fc9045b698c08ae2825834f146f",
      "new_mode": 33188,
      "new_path": "src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "99f6a70405347462f8277699633b2edafa9dd1d6",
      "old_mode": 33188,
      "old_path": "src/kernel/environment.cpp",
      "new_id": "7757a90a55e033193d28508e4fe0df52656e92bc",
      "new_mode": 33188,
      "new_path": "src/kernel/environment.cpp"
    },
    {
      "type": "modify",
      "old_id": "6a0751ad57170815ef6a41505270a573c4b287cf",
      "old_mode": 33188,
      "old_path": "src/runtime/interrupt.cpp",
      "new_id": "b66fd0c8d8271b57c0ef2b3e4d82874dd5cb04b5",
      "new_mode": 33188,
      "new_path": "src/runtime/interrupt.cpp"
    },
    {
      "type": "modify",
      "old_id": "0f6b10cc5195d1a5fe39c6803079a12a762453a6",
      "old_mode": 33188,
      "old_path": "src/runtime/interrupt.h",
      "new_id": "055363d0579c9676e40ded99922f0d57b8ab0153",
      "new_mode": 33188,
      "new_path": "src/runtime/interrupt.h"
    },
    {
      "type": "modify",
      "old_id": "183fb14fe42b56b3693d7c16673007a2607d2b58",
      "old_mode": 33188,
      "old_path": "tests/lean/run/kernelInterrupt.lean",
      "new_id": "f81b1f01100574393856b1760c4eeae3b0a45a08",
      "new_mode": 33188,
      "new_path": "tests/lean/run/kernelInterrupt.lean"
    }
  ]
}