Started 1 yr 3 mo ago
Took 9.9 sec

Success Build #16 (Oct 1, 2018 1:17:15 PM)

No changes. Changes in dependency
  1. RocksDB storage backend Success#15Success#16 (detail)
  2. GeoGig Core API Success#15Success#16 (detail)
  3. GeoGig Core Success#15Success#16 (detail)
  4. GeoTools Extension Success#15Success#16 (detail)
  5. Replication and synchronization Success#15Success#16 (detail)
  6. GeoGig Success#15Success#16 (detail)