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) |