Started 3 yr 6 mo ago
Took 3 min 24 sec on jenkinscrosscompiler

Success Build #77 (Jan 12, 2017 2:29:50 PM)

Changes
  1. Update System.vdmrt (commit: fa020c7) (details / githubweb)

Started by GitHub push by lausdahl

Revision: fa020c720290fa9fbe8a886690d241bf56fdfc28
  • refs/remotes/origin/development