Skip to content
Jenkins
log in
Jenkins
vdm2c
Overture IDE Eclipse repository
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#464
Nov 30, 2017 9:41 AM
5 KB
#463
Nov 29, 2017 1:22 PM
5 KB
#462
Nov 29, 2017 11:38 AM
5 KB
#461
Nov 29, 2017 10:21 AM
79 KB
Module Overture IDE Eclipse repository
Full project name: vdm2c/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.repository
Workspace
Last Successful Artifacts
org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT-p2artifacts.xml
100 B
view
org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT-p2metadata.xml
949 B
view
org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.pom
994 B
view
org.overturetool.vdm2c.ide.repository-0.1.17-SNAPSHOT.zip
50.20 MB
view
Recent Changes
Disk Usage
Job
134 KB
All builds
93 KB
Locked builds
-
All workspaces
105 MB
Slave workspaces
105 MB
Non-slave workspaces
-
Permalinks
Last build (#464), 5 yr 2 mo ago
Last stable build (#461), 5 yr 2 mo ago
Last successful build (#461), 5 yr 2 mo ago
Last unsuccessful build (#464), 5 yr 2 mo ago
Last completed build (#464), 5 yr 2 mo ago