Started 4 yr 4 mo ago
Took 2.2 sec on master

Success Build #27 (Jun 6, 2016 2:06:37 PM)

Changes
  1. Implementation at the VDM tree level of mechanism to ignore VDMUnit (commit: 3d917c7) (details / githubweb)

Started by GitHub push by bandurvp

Revision: 3d917c7655bb9dede319406e5d93a6ea494b1c97
  • refs/remotes/origin/development