Started 1 yr 7 mo ago
Took 5 min 27 sec

Success Build #2 (Nov 30, 2020, 12:11:04 PM)

Changes
  1. duplicate profile removed (details / githubweb)

Push event to branch ontop-guava-shaded at 12:10:57 PM on Nov 30, 2020

Revision: b058e4a65f92e1c39620dd13c7c3fed1355dce71
  • ontop-guava-shaded