Changes
#187 (Nov 29, 2017 11:37:21 AM)
- Re-enable testing in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
#186 (Nov 29, 2017 11:23:48 AM)
- Fix deployment, skip tests temporarily — Peter W. V. Tran-Jørgensen / githubweb
#185 (Nov 29, 2017 10:53:05 AM)
- Handle vdm2c build jobs in Jenkinsfile — Peter W. V. Tran-Jørgensen / githubweb
#184 (Nov 28, 2017 2:19:14 PM)
- Distributed code-generator fix — Peter W. V. Tran-Jørgensen / githubweb