Started 1 yr 1 mo ago
Took 4 min 40 sec
Changes | |
Push event to branch BETA_JAVA20 at 6:20:33 AM on Mar 22, 2023 | |
This run spent:
| |
Revision: 01ea1614c91d1b0e27e38dded647ebc1164f2268
Repository: https://github.com/eclipse-jdt/eclipse.jdt.ui.git
| |
Static Analysis:
14 warnings
|