Started 2 mo 26 days ago
Took 10 min

Success Build #17 (Jun 25, 2020 2:12:52 PM)

Changes
  1. fixed #5 (details / githubweb)
  2. changed to adapt the TLA test execution (details / githubweb)

Push event to branch development at 14:12:45 on 25-Jun-2020

Revision: c45e18cc153708ce110becb5863595891a230e93
  • development