remove unnecessary casts #1438
Merged
remove unnecessary casts #1438
Jenkins - Eclipse Platform / Compiler and API Tools
succeeded
Jun 20, 2024 in 0s
No new issues, 732 total
Total | New | Outstanding | Fixed | Trend |
---|---|---|---|---|
732 | 0 | 732 | 0 | 💤 |
Reference build: eclipse.platform » master #882
Details
Severity distribution of all issues
Error | Warning High | Warning Normal | Warning Low |
---|---|---|---|
0 | 0 | 732 | 0 |
Loading