{
 "repo": {
  "name": "halmos",
  "owner": "a16z",
  "stars": 1043,
  "license": "AGPL-3.0",
  "full_name": "a16z/halmos",
  "fetched_at": "2026-11-08T10:58:31.396515+00:00",
  "primary_language": "Python"
 },
 "burns": [],
 "total": 5,
 "agents": [
  {
   "agent": "github-copilot",
   "merged": 4,
   "flights": 5,
   "burn_rate": 0,
   "merge_rate": 1,
   "last_flight_at": "2025-06-19T22:02:16+00:00",
   "median_hours_to_merge": 28.4
  }
 ],
 "riders": [],
 "flights": [
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix OSError(9, 'Bad file descriptor') in solver callback after early exit",
   "number": 551,
   "outcome": "merged_after_rework",
   "index_ok": true,
   "additions": 52,
   "deletions": 41,
   "merged_at": "2025-06-20T01:42:23+00:00",
   "opened_at": "2025-06-19T22:02:16+00:00",
   "task_type": "fix",
   "files_changed": 2,
   "hours_to_merge": 3.67
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix config precedence: command line options now have highest precedence",
   "number": 544,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 132,
   "deletions": 71,
   "merged_at": "2025-06-16T22:16:42+00:00",
   "opened_at": "2025-06-16T15:55:47+00:00",
   "task_type": "fix",
   "files_changed": 5,
   "hours_to_merge": 6.35
  },
  {
   "agent": "github-copilot",
   "state": "open",
   "title": "Implement global PopenExecutor with tagging for improved process control and probe isolation",
   "number": 541,
   "outcome": "stale",
   "index_ok": false,
   "additions": 422,
   "deletions": 306,
   "merged_at": null,
   "opened_at": "2025-06-11T22:37:20+00:00",
   "task_type": "feat",
   "files_changed": 7,
   "hours_to_merge": null
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Fix solver resolution precedence to preserve original config source priority",
   "number": 539,
   "outcome": "merged_after_rework",
   "index_ok": true,
   "additions": 172,
   "deletions": 128,
   "merged_at": "2025-06-14T00:51:01+00:00",
   "opened_at": "2025-06-11T22:19:56+00:00",
   "task_type": "fix",
   "files_changed": 5,
   "hours_to_merge": 50.52
  },
  {
   "agent": "github-copilot",
   "state": "merged",
   "title": "Add --dump-smt-directory flag to specify custom SMT dump location",
   "number": 533,
   "outcome": "merged_clean",
   "index_ok": true,
   "additions": 350,
   "deletions": 145,
   "merged_at": "2025-06-09T16:24:24+00:00",
   "opened_at": "2025-06-04T18:32:46+00:00",
   "task_type": "feat",
   "files_changed": 8,
   "hours_to_merge": 117.86
  }
 ],
 "indexed": 4,
 "monthly": [
  {
   "burns": 0,
   "month": "2025-06",
   "merged": 4,
   "flights": 5
  }
 ],
 "top_authors": [],
 "page": "https://agentriders.com/logs/a16z/halmos/"
}