Started 3 yr 3 mo ago
Took 3.6 sec on master

Success Build #317 (Jul 1, 2017 10:13:40 PM)

Changes
  1. Add VDM2C 0.1.8 release notes (commit: 90aab6c) (details / githubweb)
  2. Prepare release of VDM2C 0.1.8 (commit: d9fe912) (details / githubweb)

Started by GitHub push by peterwvj

Revision: d9fe9124fb20a0a4dd104d997336a80314feab58
  • refs/remotes/origin/development