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

Add initial support for problem events #1296

Merged
merged 6 commits into from
Mar 6, 2024
Merged

Add initial support for problem events #1296

merged 6 commits into from
Mar 6, 2024

Conversation

donat
Copy link
Contributor

@donat donat commented Jan 30, 2024

This pull request adds supports for problems reported via the Problems API in Gradle. Since the Problems API is an incubating feature, we added an option to opt-out from the integration in the preferences dialog.

@donat donat changed the title Donat/problems Add initial support for problem events Jan 30, 2024
@donat donat requested a review from reinsch82 January 31, 2024 12:45
@donat donat assigned donat and unassigned donat Feb 5, 2024
@donat donat removed the request for review from reinsch82 February 13, 2024 09:16
@donat donat assigned donat and unassigned reinsch82 Feb 15, 2024
Copy link
Contributor

@reinsch82 reinsch82 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@donat donat merged commit 415a78a into master Mar 6, 2024
3 of 4 checks passed
@donat donat deleted the donat/problems branch March 6, 2024 14:36
@donat donat added this to the 3.1.10 milestone Mar 6, 2024
oleosterhagen added a commit to oleosterhagen/buildship that referenced this pull request Jul 14, 2024
Set the new constructor parameter of WorkspaceConfiguration introduced
with eclipse-buildship#1296 to false.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants