Started 1 yr 2 mo ago
Took 4 min 35 sec
Changes | |
Push event to branch BETA_JAVA20 at 1:02:23 AM on Mar 22, 2023 | |
This run spent:
| |
Revision: 3afd9d46623e78d76986abf3ef84f73c7db5122c
Repository: https://github.com/eclipse-jdt/eclipse.jdt.ui.git
| |
Static Analysis:
12 warnings
|