Skip to content
Jenkins
log in
Jenkins
overture-test
The VDM to JML Generator Runtime
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#200
Sep 6, 2019 2:49 PM
36 KB
#199
Sep 4, 2019 2:59 PM
36 KB
#198
Mar 5, 2019 10:31 AM
38 KB
#197
Mar 5, 2019 8:43 AM
38 KB
#196
Mar 3, 2019 6:05 PM
38 KB
Module The VDM to JML Generator Runtime
Full project name: overture-test/org.overturetool.core.codegen:vdm2jml-runtime
Workspace
Last Successful Artifacts
vdm2jml-runtime-2.6.5-SNAPSHOT-javadoc.jar
25.24 KB
view
vdm2jml-runtime-2.6.5-SNAPSHOT-sources.jar
3.81 KB
view
vdm2jml-runtime-2.6.5-SNAPSHOT.jar
4.38 KB
view
vdm2jml-runtime-2.6.5-SNAPSHOT.pom
2.06 KB
view
Recent Changes
Disk Usage
Job
211 KB
All builds
188 KB
Locked builds
-
All workspaces
261 KB
Slave workspaces
261 KB
Non-slave workspaces
-
Permalinks
Last build (#200), 2 yr 11 mo ago
Last stable build (#200), 2 yr 11 mo ago
Last successful build (#200), 2 yr 11 mo ago
Last completed build (#200), 2 yr 11 mo ago