Skip to content
Jenkins
log in
Jenkins
overture-test
#197
Overture IDE Eclipse Developer Utilities feature
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Embeddable Build Status
Previous Build
Next Build
Started 1 yr 10 mo ago
Took
3.6 sec
on master
Build Overture IDE Eclipse Developer Utilities feature (Mar 5, 2019 8:43:15 AM)
Build Artifacts
org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT-p2artifacts.xml
726 B
view
org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT-p2metadata.xml
6.84 KB
view
org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT.jar
1.87 KB
view
org.overture.ide.plugins.features.developerutils-2.6.5-SNAPSHOT.pom
720 B
view
No changes. Changes in dependency
org.overture.ide.builders.vdmj
#196
→
#197
(
detail
)
org.overture.ide.parsers.vdmj
#196
→
#197
(
detail
)
org.overture.ide.platform
#196
→
#197
(
detail
)
org.overture.ide.vdmrt.debug
#196
→
#197
(
detail
)
org.overture.ide.vdmsl.debug
#196
→
#197
(
detail
)
org.overture.ide.debug
#196
→
#197
(
detail
)
Overture IDE Eclipse core feature
#196
→
#197
(
detail
)
org.overture.ide.core
#196
→
#197
(
detail
)
org.overture.ide.vdmpp.debug
#196
→
#197
(
detail
)
org.overture.ide.vdmrt.core
#196
→
#197
(
detail
)
org.overture.ide.vdmsl.ui
#196
→
#197
(
detail
)
org.overture.ide.plugins.externaleditor
#196
→
#197
(
detail
)
org.overture.ide.vdmrt.ui
#196
→
#197
(
detail
)
org.overture.ide.help
#196
→
#197
(
detail
)
org.overture.ide.vdmsl.core
#196
→
#197
(
detail
)
org.overture.ide.vdmpp.core
#196
→
#197
(
detail
)
org.overture.ide.ui
#196
→
#197
(
detail
)
Developer Utilities for Overture
#196
→
#197
(
detail
)
org.overture.ide.vdmpp.ui
#196
→
#197
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 2.
New zero warnings highscore: no warnings for 1,287 days!