Skip to content
Jenkins
log in
Jenkins
overture-master
org.overture.ide.vdmsl.ui
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
70 KB
#29
Aug 28, 2020 1:49 PM
69 KB
Workspace of org
.overture
.ide
.vdmsl
.ui on master
icons
META-INF
src
/
main
/
java
/
org
/
overture
/
ide
/
vdmsl
/
ui
target
templates
build.properties
May 22, 2016 5:34:41 PM
246 B
view
plugin.properties
May 22, 2016 5:34:41 PM
90 B
view
plugin.xml
May 22, 2016 5:34:41 PM
5.10 KB
view
pom.xml
Nov 10, 2020 4:22:17 PM
1013 B
view
(all files in zip)