Skip to content
Jenkins
log in
Jenkins
overture-master
org.overture.ide.vdmrt.debug
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
72 KB
#29
Aug 28, 2020 1:49 PM
70 KB
Module org
.overture
.ide
.vdmrt
.debug
Full project name: overture-master/org.overturetool.ide.vdmrt:org.overture.ide.vdmrt.debug
Workspace
Last Successful Artifacts
org.overture.ide.vdmrt.debug-3.0.2-p2artifacts.xml
570 B
view
org.overture.ide.vdmrt.debug-3.0.2-p2metadata.xml
2.39 KB
view
org.overture.ide.vdmrt.debug-3.0.2.jar
19.11 KB
view
org.overture.ide.vdmrt.debug-3.0.2.pom
636 B
view
Recent Changes
Disk Usage
Job
155 KB
All builds
142 KB
Locked builds
-
All workspaces
181 KB
Slave workspaces
181 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