Started 13 min ago
Took 2 sec on basic-d5ljb

Success Build #4187 (Apr 19, 2021, 3:30:32 AM)

No changes.

Triggered by Gerrit: https://git.eclipse.org/r/c/jdt/eclipse.jdt.ui/+/179483