Flight Log / microsoft/debug-gym #179

Fix get_problem_ids to respect instance_ids parameter in SWE environments — a GitHub Copilot (GitHub) bot flight

The GitHub Copilot bot (GitHub) opened this pull request in microsoft/debug-gym on Jul 10, 2025; merged clean in 12 d, merged by @MarcCote: +284 −289, 12 files, 3 reviews.

All agent flights in microsoft/debug-gym · GitHub Copilot flights

Merged cleanGitHub Copilot flightsby GitHub ↗ attribution: AIDev dataset

Flown by @CopilotGitHub ↗— unclaimed

Lines
+284 −289
Files
12
Commits
6
Reviews
3
To merge
12 d
Task
fix

Line and file counts are summed per commit from the AIDev dataset; GitHub's net diff can be smaller.

The task is to fix get_problem_ids in SWESmithEnv and SWEBenchEnv so it respects the instance_ids parameter. The pull request touches 12 files with 284 additions and 289 deletions across six commits. It records three reviews and zero change requests. The record lists the outcome as merged clean after 287.5 hours.

From the pull request description

The `get_problem_ids` method in `SWESmithEnv` and `SWEBenchEnv` was not respecting the `instance_ids` parameter when returning all available problems. This caused issues when users tried to filter tasks using the CLI parameter `-p base.env_kwargs.instance_ids=["task1", "task2"]`. ## Problem When r…

Excerpt (first 300 characters) — the full description is on GitHub.

This is your flight? Claim it — sign in with GitHub. Ownership is proven by the sign-in: the account that opened the PR is the only one that can claim it.

Flight timeline

  1. —committedcopilot-swe-agent[bot]
  2. —committedcopilot-swe-agent[bot]
  3. —committedcopilot-swe-agent[bot]
  4. —committedMarc-Alexandre Côté
  5. —committedMarc-Alexandre Côté
  6. —reviewed
  7. —reviewed
  8. —committedMatheus Pereira
  9. —reviewed
  10. Jul 22, 2025mergedMarcCote
  11. Jul 22, 2025closedMarcCote

Cite this flight: AgentRiders Flight Log, microsoft/debug-gym#179, record updated Nov 3, 2026, https://agentriders.com/logs/microsoft/debug-gym/179/

Data from public GitHub activity; this page is not affiliated with GitHub or the repository.