Started 14 days ago
Took 12 min

Success Build #16 (Jun 24, 2020 12:37:05 PM)

Changes
  1. updated TLA test to a new format of JSON (details / githubweb)

Push event to branch development at 12:36:57 on 24-Jun-2020

Revision: 15bc14fd9f918c05f84d652736a06168947f759b
  • development