Add "Preferences..." menu to the Console view #2437
Merged
Jenkins - Eclipse Platform / API Tools
succeeded
Jan 23, 2026 in 0s
No new issues, 54 total
| Total | New | Outstanding | Fixed | Trend |
|---|---|---|---|---|
| 54 | 0 | 54 | 0 | 💤 |
Reference build: eclipse.platform » master #1501
Details
Severity distribution of all issues
| Error | Warning High | Warning Normal | Warning Low |
|---|---|---|---|
| 0 | 0 | 54 | 0 |
Loading