Skip to content
Jenkins
log in
Jenkins
overture-master
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
#30
Nov 10, 2020 4:22 PM
19 KB
#29
Aug 28, 2020 1:49 PM
19 KB
Module The VDM to JML Generator Runtime
Full project name: overture-master/org.overturetool.core.codegen:vdm2jml-runtime
Workspace
Last Successful Artifacts
vdm2jml-runtime-3.0.2-javadoc.jar
25.10 KB
view
vdm2jml-runtime-3.0.2-sources.jar
3.76 KB
view
vdm2jml-runtime-3.0.2.jar
4.34 KB
view
vdm2jml-runtime-3.0.2.pom
2.02 KB
view
Recent Changes
Disk Usage
Job
51 KB
All builds
39 KB
Locked builds
-
All workspaces
260 KB
Slave workspaces
260 KB
Non-slave workspaces
-
Permalinks
Last build (#30), 2 yr 2 mo ago
Last stable build (#30), 2 yr 2 mo ago
Last successful build (#30), 2 yr 2 mo ago
Last completed build (#30), 2 yr 2 mo ago