Skip to content
Jenkins
log in
Jenkins
vdm2c-pvj
C native root vdm2c
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#187
Nov 29, 2017 11:37 AM
22 KB
#186
Nov 29, 2017 11:23 AM
5 KB
#185
Nov 29, 2017 10:53 AM
5 KB
#184
Nov 28, 2017 2:19 PM
22 KB
Module C native root vdm2c
Full project name: vdm2c-pvj/org.overturetool.vdm2c:c
Workspace
Recent Changes
Disk Usage
Job
53 KB
All builds
53 KB
Locked builds
-
All workspaces
8 MB
Slave workspaces
8 MB
Non-slave workspaces
-
Permalinks
Last build (#187), 3 yr 1 mo ago
Last stable build (#187), 3 yr 1 mo ago
Last successful build (#187), 3 yr 1 mo ago
Last unsuccessful build (#186), 3 yr 1 mo ago
Last completed build (#187), 3 yr 1 mo ago