AbortedChanges

Summary

  1. Handle vdm2c build jobs in Jenkinsfile (details)
Commit 2f2a9642b0c0d18033005a780373b9405ff1f9a9 by Peter W. V. Tran-Jørgensen
Handle vdm2c build jobs in Jenkinsfile
The file was modifiedJenkinsfile (diff)