Skip to content
Jenkins
log in
Jenkins
overture-test
Overture IDE Eclipse CSK VDM Tools Link feature
#199
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 3 yr 4 mo ago
Took
4.9 sec
on master
Build #199 (Sep 4, 2019 2:59:59 PM)
Build Artifacts
org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT-p2artifacts.xml
704 B
view
org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT-p2metadata.xml
6.54 KB
view
org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT.jar
1.82 KB
view
org.overture.ide.plugins.features.csk-2.6.5-SNAPSHOT.pom
708 B
view
No changes. Changes in dependency
Overture IDE Eclipse core feature
#198
→
#199
(
detail
)
org.overture.ide.platform
#198
→
#199
(
detail
)
org.overture.ide.plugins.csk
#198
→
#199
(
detail
)
org.overture.ide.vdmpp.core
#198
→
#199
(
detail
)
org.overture.ide.help
#198
→
#199
(
detail
)
org.overture.ide.vdmrt.debug
#198
→
#199
(
detail
)
org.overture.ide.vdmsl.ui
#198
→
#199
(
detail
)
org.overture.ide.ui
#198
→
#199
(
detail
)
org.overture.ide.plugins.externaleditor
#198
→
#199
(
detail
)
org.overture.ide.vdmpp.debug
#198
→
#199
(
detail
)
org.overture.ide.vdmsl.core
#198
→
#199
(
detail
)
org.overture.ide.debug
#198
→
#199
(
detail
)
org.overture.ide.vdmrt.ui
#198
→
#199
(
detail
)
org.overture.ide.parsers.vdmj
#198
→
#199
(
detail
)
org.overture.ide.vdmsl.debug
#198
→
#199
(
detail
)
org.overture.ide.vdmrt.core
#198
→
#199
(
detail
)
org.overture.ide.builders.vdmj
#198
→
#199
(
detail
)
org.overture.ide.vdmpp.ui
#198
→
#199
(
detail
)
org.overture.ide.core
#198
→
#199
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 2.
New zero warnings highscore: no warnings for 1,471 days!