Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow multiple files to be fixed in parallel #153

Open
jwmatthews opened this issue Apr 5, 2024 · 1 comment
Open

Allow multiple files to be fixed in parallel #153

jwmatthews opened this issue Apr 5, 2024 · 1 comment
Assignees
Labels
enhancement New feature or request ide-plugin IDE Related Issues priority/important-longterm Important over the long term, but may not be staffed and/or may need multiple releases to complete. rpc-server
Milestone

Comments

@jwmatthews
Copy link
Member

Kai allows multiple workers to run in parallel, when we run with run_demo.py we will send ~8 files at a time to migrate.

Let's test doing similar with the IDE and updates issues as they are found.
I attempted to do a few in parallel on April 4th, first thing I saw is there was no way to change between generated fixes.
Our approach seems to assume only one can occur at a time. I saw we could issue requests in parallel but I don't think our display logic is ready to handle this with allow multiple generate fixes to be ready and to switch between... probably related to #152

@jwmatthews jwmatthews added ide-plugin IDE Related Issues priority/important-longterm Important over the long term, but may not be staffed and/or may need multiple releases to complete. labels Apr 5, 2024
@jwmatthews
Copy link
Member Author

@hhpatel14 this is needed, but it's not critical in terms of looking at functionality within next 2 weeks.

@shawn-hurley shawn-hurley added enhancement New feature or request rpc-server labels Jan 10, 2025
@fabianvf fabianvf changed the title [IDE] Allow multiple files to be fixed in parallel Allow multiple files to be fixed in parallel Feb 19, 2025
@fabianvf fabianvf added ide-plugin IDE Related Issues and removed ide-plugin IDE Related Issues labels Feb 19, 2025
@fabianvf fabianvf added this to the v0.2.0 milestone Feb 19, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request ide-plugin IDE Related Issues priority/important-longterm Important over the long term, but may not be staffed and/or may need multiple releases to complete. rpc-server
Projects
None yet
Development

No branches or pull requests

4 participants