Started 1 yr 2 mo ago
Took 5.4 sec on default-agent-9sjxm

Success Build #31 (Feb 18, 2020, 7:46:07 PM)

Changes
  1. Fixes for https://bugs.eclipse.org/bugs/show_bug.cgi?id=558611 (details)