Skip to content
Jenkins
log in
Jenkins
vdm2c-vpb
The C Code Generator Plugin
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Open Tasks
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#172
Nov 27, 2017 7:35 PM
97 KB
#171
Nov 27, 2017 7:17 PM
97 KB
#170
Nov 27, 2017 5:10 PM
97 KB
Module The C Code Generator Plugin
Full project name: vdm2c-vpb/org.overturetool.vdm2c.ide:org.overturetool.vdm2c.ide.cgen
Workspace
Last Successful Artifacts
org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT-p2artifacts.xml
604 B
view
org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT-p2metadata.xml
2.33 KB
view
org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.jar
4.68 MB
view
org.overturetool.vdm2c.ide.cgen-0.1.17-SNAPSHOT.pom
5.21 KB
view
Recent Changes
Disk Usage
Job
292 KB
All builds
292 KB
Locked builds
-
All workspaces
10 MB
Slave workspaces
10 MB
Non-slave workspaces
-
Permalinks
Last build (#172), 5 yr 2 mo ago
Last stable build (#172), 5 yr 2 mo ago
Last successful build (#172), 5 yr 2 mo ago
Last completed build (#172), 5 yr 2 mo ago