Started 10 hr ago
Took 9 min 14 sec

Success Build #63 (Jun 5, 2020 9:52:22 AM)

Changes
  1. Search rule-merging profiler option (#109) (details / githubweb)

Push event to branch master at 9:52:15 AM on Jun 5, 2020

Revision: 22a0507cc32a23acaa88bb738cc288044268f84a
  • master