)]}'
{
  "commit": "f5914afa8e21f91b0f09ea37333ebf1ba6fe6a95",
  "tree": "6e0433f6c804a02baa8ec281e1ebb57b380ecd0b",
  "parents": [
    "819fb6a6a89f6f3095451fa071cf25a05a4b469f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 29 10:28:10 2026 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Thu Jan 29 10:28:10 2026 +1100"
  },
  "message": "fix: verify PR release artifacts before creating tags\n\nThis PR moves the artifact verification step before tag creation and release\ndeletion, so we fail early if no artifacts are available rather than creating\nside effects that would need to be cleaned up.\n\nAddresses feedback from https://leanprover.zulipchat.com/#narrow/channel/399079-infrastructure/topic/PR.20toolchain.20even.20if.20test.20suite.20fails/near/570482678\n\nCo-Authored-By: Claude Opus 4.5 \u003cnoreply@anthropic.com\u003e\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "4dd93fd04a897e5b5ddfa469e14c67706f43c135",
      "old_mode": 33188,
      "old_path": ".github/workflows/pr-release.yml",
      "new_id": "8dd044f93f18131618cfdab143f7c8682a41306d",
      "new_mode": 33188,
      "new_path": ".github/workflows/pr-release.yml"
    }
  ]
}