Started 3 mo 17 days ago
Took 10 min

Success Build #25 (Dec 12, 2019 10:29:48 PM)

Changes
  1. Updates and fixes to Rule Merging (#66) (detail / githubweb)

Push event to branch master at 10:29:31 PM on Dec 12, 2019

Revision: ff7c700adfb2874dbc4416d7882b204ebf9058b9
  • master