Started 10 mo ago
Took 1 min 23 sec

Success Build #78 (Sep 27, 2018 5:05:31 PM)

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

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

Revision: 0ea7b31f4896b9eeca221e3859a565a52bb6ea69
  • refs/changes/99/130099/4