Started 3 yr 1 mo ago
Took 34 min on master

Success Build #64 (Sep 18, 2017 5:20:26 PM)

Changes
  1. [maven-release-plugin] prepare release Release/0.1.12 (details / githubweb)
  2. [maven-release-plugin] prepare for next development iteration (details / githubweb)
  3. Require Overture 2.5.0 (details / githubweb)
  4. Require Overture 2.5.2 (details / githubweb)
  5. Add version 0.1.14 release notes (details / githubweb)
  6. Prepare release of VDM2C 0.1.14 (details / githubweb)

Started by user Peter W. V. Tran-Jørgensen

Revision: ccb635779f3ca0bc927450ef6853a4f64f25fc93
  • refs/remotes/origin/development