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

Make the codebase robust #9

Open
JiseungHong opened this issue Dec 8, 2024 · 23 comments · May be fixed by #13
Open

Make the codebase robust #9

JiseungHong opened this issue Dec 8, 2024 · 23 comments · May be fixed by #13
Labels
pr-arena Arena setting ⚔️ using OpenHands resolver

Comments

@JiseungHong
Copy link
Collaborator

JiseungHong commented Dec 8, 2024

The Python file resolve_issues in the openhands_resolver folder might be error-prone due to concurrency and parallelism issues. Please modify the codebase to utilize features like async and await to address these problems. Keep it simple, modifying just a few lines.

@JiseungHong JiseungHong added the pr-arena Arena setting ⚔️ using OpenHands resolver label Dec 8, 2024
@neulab neulab deleted a comment from github-actions bot Dec 8, 2024
@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 8, 2024
@neubig
Copy link
Contributor

neubig commented Dec 8, 2024

Hey @JiseungHong , just a heads up -- you might want to be a bit more specific when filing bug reports (either for humans or machines). Specifically what error messages are you getting, and what commands can you run to reproduce them.

@JiseungHong
Copy link
Collaborator Author

This issue is actually to test out if the pr-arena works properly with actual OpenHands resolver! I wanted to make it simple just to see if it works. Thanks for the advice professor!

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 9, 2024
@neulab neulab deleted a comment from github-actions bot Dec 9, 2024
@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 9, 2024
@neulab neulab deleted a comment from github-actions bot Dec 9, 2024
@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 9, 2024
@neulab neulab deleted a comment from github-actions bot Dec 9, 2024
@neulab neulab deleted a comment from github-actions bot Dec 9, 2024
@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 9, 2024
Copy link

github-actions bot commented Dec 9, 2024

OpenHands started fixing the issue! You can monitor the progress here.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 9, 2024
@neulab neulab deleted a comment from github-actions bot Dec 9, 2024
Copy link

github-actions bot commented Dec 9, 2024

OpenHands started fixing the issue! You can monitor the progress here.

@neulab neulab deleted a comment from github-actions bot Dec 9, 2024
@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 9, 2024
@JiseungHong JiseungHong added the pr-arena Arena setting ⚔️ using OpenHands resolver label Dec 10, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

Copy link

⚔️PR-Arena is now open⚔️! You can view the proposed fixes and make a decision at this link.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 10, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

Copy link

⚔️PR-Arena is now open⚔️! You can view the proposed fixes and make a decision at this link.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 11, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 11, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 11, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

Copy link

⚔️PR-Arena is now open⚔️! You can view the proposed fixes and make a decision at this link.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 11, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

@JiseungHong JiseungHong added pr-arena Arena setting ⚔️ using OpenHands resolver and removed pr-arena Arena setting ⚔️ using OpenHands resolver labels Dec 11, 2024
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

Copy link

⚔️PR-Arena is now open⚔️! You can view the proposed fixes and make a decision at this link.

Copy link

A potential fix has been generated and a draft PR #13 has been created. Please review the changes.

@openhands-agent openhands-agent linked a pull request Dec 11, 2024 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pr-arena Arena setting ⚔️ using OpenHands resolver
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants