Started 10 mo ago
Took 37 sec

Failed Build #77 (Sep 27, 2018 5:02:41 PM)

Changes
  1. Bug 537809 - Generated ResourceManager uses deprecated API (detail)

Triggered by Gerrit: https://git.eclipse.org/r/130099

Revision: 8c3aacd418bd1f2c773af88a9e6594a0206abcc5
  • refs/changes/99/130099/3