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.
- 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.
View the pull request 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
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —committedcopilot-swe-agent[bot]
- —committedMarc-Alexandre Côté
- —committedMarc-Alexandre Côté
- —reviewed
- —reviewed
- —committedMatheus Pereira
- —reviewed
- Jul 22, 2025mergedMarcCote
- Jul 22, 2025closedMarcCote
Read next
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.