[Jenkins]Jenkins

SuccessChanges

Summary

  1. Distributed code-generator fix (commit: cbb0cb2) (details)
  2. Handle vdm2c build jobs in Jenkinsfile (commit: 2f2a964) (details)
  3. Fix deployment, skip tests temporarily (commit: b6f8332) (details)
  4. Re-enable testing in Jenkinsfile (commit: 539b001) (details)
Commit cbb0cb201ef5c52b4e11d921bc55e10f3ef20f6c by Peter W. V. Tran-Jørgensen
Distributed code-generator fix
Only the first argument of the CPU.deploy operation is important
 (commit: cbb0cb2)
The file was modifiedcore/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java (diff)
The file was modifiedJenkinsfile (diff)
The file was modifiedJenkinsfile (diff)
The file was modifiedJenkinsfile (diff)