Started 1 yr 0 mo ago
Took 37 sec

Build #2 (Jun 18, 2020 1:05:05 PM)

Changes
  1. revert WITHOUT_RPATH flag... not needed after all. (details / githubweb)
Changes
  1. revert WITHOUT_RPATH flag... not needed after all. (details / githubweb)
Changes
  1. revert WITHOUT_RPATH flag... not needed after all. (details / githubweb)

Push event to branch obs at 1:04:59 PM on Jun 18, 2020

Revision: 6d547fba11468ba3d51e1b975b432018eee5af23
  • obs