![[Jenkins]](/jenkins/static/ad9d9007/images/jenkins-header-logo-v2.svg){kind=logo}
![[Artifactory]](/jenkins/plugin/artifactory/images/artifactory-icon.png "Artifactory Build Info"){kind=icon}
Maven project overture-pvj-main
Used to deploy Overture SNAPSHOTs to the 'pvj'
artifactory repository to support the tool development
in the AGCO project. Also note that this build job passes
the '-Dtests.javagen.javac' property to run all of the
VDM-to-Java code generator tests.
 | Artifactory Build Info |
 | Workspace |
 | Recent Changes |
 | Latest Test Result (20 failures / +20) |
 |
Disk Usage
|
| Latest Test Result (20 failures / +20) |