Add check for Other Projects working set in JavaWorkingSetUpdater #2980

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.

Sign up for GitHub

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

Merged

jjohnstn merged 1 commit into eclipse-jdt:master from jjohnstn:workingsetfix

May 14, 2026

+21 −0

Merged

Add check for Other Projects working set in JavaWorkingSetUpdater #2980

Add check for Other Projects working set in JavaWorkingSetUpdater

Jenkins - Eclipse JDT / API Tools succeeded May 12, 2026 in 0s

No new issues, 1 total

Total	New	Outstanding	Fixed	Trend
1	0	1	0	💤

Reference build: eclipse.jdt.ui-github » master #701

Details

Severity distribution of all issues

Error	Warning High	Warning Normal	Warning Low
0	0	1	0

View more details on Jenkins - Eclipse JDT