Skip to content
Jenkins
log in
Jenkins
overture-master
org.overture.ide.builders.vdmj
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
27 KB
#29
Aug 28, 2020 1:49 PM
27 KB
Workspace of org
.overture
.ide
.builders
.vdmj on master
jars
META-INF
src
/
main
/
java
/
org
/
overture
/
ide
/
builders
/
vdmj
target
build.properties
May 22, 2016 5:34:41 PM
190 B
view
plugin.properties
May 22, 2016 5:34:41 PM
0 B
view
plugin.xml
May 22, 2016 5:34:41 PM
894 B
view
pom.xml
Nov 10, 2020 4:22:17 PM
2.82 KB
view
README.md
Oct 7, 2015 6:07:06 AM
185 B
view
(all files in zip)