Started 3 yr 3 mo ago
Took 3.5 sec on master

Success Build #221 (Mar 31, 2017 3:24:20 PM)

Changes
  1. Update VDM2C CLI to accept VDM++ files (commit: 52c71f8) (details / githubweb)
  2. Update test file filter (commit: 443fddf) (details / githubweb)

Started by GitHub push by peterwvj

Revision: 2589f098dbd07e26539d56a30d664cca4f517b52
  • refs/remotes/origin/development