{
 "flight": {
  "id": 49457,
  "agent": "github-copilot",
  "state": "closed",
  "title": "Add SHA256 hash generation for ZIP archives in nightly and release builds",
  "number": 7729,
  "source": "aidev",
  "commits": 3,
  "debrief": "GitHub Copilot opened a feature PR on Z3Prover/z3 adding SHA256 hashes for ZIP source archives in nightly and release builds. The change spanned three files and three commits, with 39 additions and 18 deletions. The flight was a burn, closed unmerged after human review. The rider noted only the source archive needs a hash.",
  "outcome": "burn",
  "signals": [
   "aidev:Copilot"
  ],
  "index_ok": true,
  "additions": 39,
  "closed_at": "2025-07-11T18:06:12+00:00",
  "deletions": 18,
  "merged_at": null,
  "opened_at": "2025-07-11T14:09:33+00:00",
  "task_type": "feat",
  "body_chars": 2123,
  "confidence": "dataset",
  "updated_at": "2026-11-03T21:32:28.566759+00:00",
  "enriched_at": null,
  "body_excerpt": "This PR adds SHA256 hash generation for ZIP archives containing sources in both nightly and release builds, ensuring users can verify the integrity of downloaded artifacts.\n\n## Changes Made\n\n### nightly.yaml\n- Added bash script step that generates `.sha256` files for all ZIP files before GitHub rele",
  "review_count": 0,
  "files_changed": 3,
  "hours_to_merge": null,
  "metrics_source": "aidev_commit_sum",
  "change_requests": 0,
  "og_generated_at": "2026-11-03T21:32:28.566759+00:00",
  "reviewer_excerpt": "This is incorrect. Only Source Code, corresponding to (z3-$(Build.SourceVersion).zip) needs a hash. The other files are already signed.",
  "review_comment_count": 0,
  "reviewer_excerpt_url": "https://github.com/Z3Prover/z3/pull/7729#issuecomment-3062903427"
 },
 "repo": {
  "name": "z3",
  "owner": "Z3Prover",
  "stars": 12899,
  "license": "NOASSERTION",
  "full_name": "Z3Prover/z3",
  "primary_language": "C++"
 },
 "author": {
  "login": "Copilot",
  "name": null,
  "github_profile": "https://github.com/Copilot",
  "page": null
 },
 "claim": null,
 "events": [
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": null,
   "url": null,
   "kind": "committed",
   "actor_login": "copilot-swe-agent[bot]"
  },
  {
   "at": "2025-07-11T18:06:12+00:00",
   "url": null,
   "kind": "closed",
   "actor_login": "NikolajBjorner"
  }
 ],
 "related": [
  {
   "agent": "github-copilot",
   "state": "closed",
   "title": "Fix quantifier weight default to prevent performance regression",
   "number": 7737,
   "outcome": "burn",
   "index_ok": true,
   "additions": 20,
   "deletions": 3,
   "merged_at": null,
   "opened_at": "2025-07-15T15:24:09+00:00",
   "task_type": "fix",
   "files_changed": 3,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix O(n²) performance issue in CLI datatype declaration processing",
   "number": 7712,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 102,
   "deletions": 78,
   "merged_at": "2025-07-02T16:54:36+00:00",
   "opened_at": "2025-07-01T21:28:07+00:00",
   "task_type": "fix",
   "files_changed": 4,
   "hours_to_merge": 19.44
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Improve Extract function documentation to clarify bit-vector vs sequence usage",
   "number": 7701,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 54,
   "deletions": 13,
   "merged_at": "2025-06-27T17:21:23+00:00",
   "opened_at": "2025-06-27T16:58:46+00:00",
   "task_type": "docs",
   "files_changed": 2,
   "hours_to_merge": 0.38
  }
 ],
 "pr_url": "https://github.com/Z3Prover/z3/pull/7729",
 "page": "https://agentriders.com/logs/Z3Prover/z3/7729/"
}