)]}'
{
  "commit": "acdb5e329227e75f5324a6fd35bf76d528fa6147",
  "tree": "12640d4ac118d2538fadf34dcb392c13d6f3180f",
  "parents": [
    "62291c1edae5581259c0574a5e7135585b1911f6",
    "941c92d0cbe1f32f9f8b26ef20fe1b895385a3ce"
  ],
  "author": {
    "name": "Chayim Refael Friedman",
    "email": "chayimfr@gmail.com",
    "time": "Sun Dec 21 01:34:53 2025 +0000"
  },
  "committer": {
    "name": "GitHub",
    "email": "noreply@github.com",
    "time": "Sun Dec 21 01:34:53 2025 +0000"
  },
  "message": "Merge pull request #21309 from jackh726/failed_obligations\n\nAdd an lsp extension to get failed obligations for a given function\n",
  "tree_diff": []
}