Skip to content
Jenkins
log in
Jenkins
vdm2c
Overture IDE Eclipse C Code Generator feature
DISABLE 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
77 KB
Module Overture IDE Eclipse C Code Generator feature
Full project name: vdm2c/org.overturetool.vdm2c.ide.features:org.overturetool.vdm2c.ide.features.cgen
Workspace
Last Successful Artifacts
org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT-p2artifacts.xml
710 B
view
org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT-p2metadata.xml
6.83 KB
view
org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.jar
6.03 KB
view
org.overturetool.vdm2c.ide.features.cgen-0.1.17-SNAPSHOT.pom
705 B
view
Recent Changes
Disk Usage
Job
132 KB
All builds
91 KB
Locked builds
-
All workspaces
27 KB
Slave workspaces
27 KB
Non-slave workspaces
-
Permalinks
Last build (#464), 3 yr 4 mo ago
Last stable build (#461), 3 yr 4 mo ago
Last successful build (#461), 3 yr 4 mo ago
Last unsuccessful build (#464), 3 yr 4 mo ago
Last completed build (#464), 3 yr 4 mo ago