Skip to content
Jenkins
log in
Jenkins
vdm2c
Overture VDM 2 C Translator Root
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
23 KB
#463
Nov 29, 2017 1:22 PM
6 KB
#462
Nov 29, 2017 11:38 AM
23 KB
#461
Nov 29, 2017 10:21 AM
23 KB
Module Overture VDM 2 C Translator Root
Full project name: vdm2c/org.overturetool.vdm2c:root
Workspace
Recent Changes
Disk Usage
Job
115 KB
All builds
75 KB
Locked builds
-
All workspaces
2 GB
Slave workspaces
2 GB
Non-slave workspaces
-
Permalinks
Last build (#464), 5 yr 2 mo ago
Last stable build (#464), 5 yr 2 mo ago
Last successful build (#464), 5 yr 2 mo ago
Last unsuccessful build (#463), 5 yr 2 mo ago
Last completed build (#464), 5 yr 2 mo ago