Use correct font for highlighting matches in "Open Resource" dialog #3783
Jenkins - Eclipse Platform / API Tools
succeeded
Mar 16, 2026 in 0s
No new issues, 295 total
| Total | New | Outstanding | Fixed | Trend |
|---|---|---|---|---|
| 295 | 0 | 295 | 0 | 💤 |
Reference build: eclipse.platform.ui » master #1451
Details
Severity distribution of all issues
| Error | Warning High | Warning Normal | Warning Low |
|---|---|---|---|
| 0 | 0 | 295 | 0 |
Loading