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

Fix some SubProgressMonitor #998

Merged

jukzi merged 2 commits into eclipse-jdt:master from jukzi:slice

Dec 12, 2023

Merged

Fix some SubProgressMonitor #998

PullUp/PushDown: replace deprecated SubProgressMonitor

Jenkins - Eclipse JDT / Eclipse ECJ succeeded Dec 12, 2023 in 0s

1 new issue, 49 total

Total	New	Outstanding	Fixed	Trend
49	1	48	1	👎

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

Details

Severity distribution of new issues

Error	Warning High	Warning Normal	Warning Low
0	0	0	1

Annotations

Check warning on line 665 in org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/compare/JavaMergeViewer.java

jenkins-eclipse-jdt / Eclipse ECJ

Other

LOW:

View more details on Jenkins - Eclipse JDT