Skip to content
Jenkins
log in
Jenkins
overture-master
Overture IDE Eclipse CSK VDM Tools Link feature
ENABLE AUTO REFRESH
Up
Status
Changes
Workspace
Embeddable Build Status
trend
W
Description
%
Build stability: No recent builds failed.
100
Build History
x
#30
Nov 10, 2020 4:22 PM
78 KB
#29
Aug 28, 2020 1:49 PM
77 KB
Module Overture IDE Eclipse CSK VDM Tools Link feature
Full project name: overture-master/org.overturetool.ide.plugins.features:org.overture.ide.plugins.features.csk
Workspace
Last Successful Artifacts
org.overture.ide.plugins.features.csk-3.0.2-p2artifacts.xml
682 B
view
org.overture.ide.plugins.features.csk-3.0.2-p2metadata.xml
6.38 KB
view
org.overture.ide.plugins.features.csk-3.0.2.jar
6.33 KB
view
org.overture.ide.plugins.features.csk-3.0.2.pom
699 B
view
Recent Changes
Disk Usage
Job
168 KB
All builds
155 KB
Locked builds
-
All workspaces
27 KB
Slave workspaces
27 KB
Non-slave workspaces
-
Permalinks
Last build (#30), 2 yr 2 mo ago
Last stable build (#30), 2 yr 2 mo ago
Last successful build (#30), 2 yr 2 mo ago
Last completed build (#30), 2 yr 2 mo ago