Skip to content
Jenkins
log in
Jenkins
overture-test
Overture IDE Eclipse Proof Obligation Viewer feature
#198
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 4 yr 6 mo ago
Took
3.6 sec
on master
Build #198 (Mar 5, 2019 10:31:15 AM)
Build Artifacts
org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT-p2artifacts.xml
714 B
view
org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT-p2metadata.xml
6.55 KB
view
org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT.jar
1.81 KB
view
org.overture.ide.plugins.features.poviewer-2.6.5-SNAPSHOT.pom
718 B
view
No changes. Changes in dependency
org.overture.ide.vdmrt.debug
#197
→
#198
(
detail
)
org.overture.ide.platform
#197
→
#198
(
detail
)
org.overture.ide.vdmrt.ui
#197
→
#198
(
detail
)
org.overture.ide.vdmsl.core
#197
→
#198
(
detail
)
org.overture.ide.debug
#197
→
#198
(
detail
)
org.overture.ide.vdmpp.debug
#197
→
#198
(
detail
)
org.overture.ide.vdmsl.debug
#197
→
#198
(
detail
)
org.overture.ide.help
#197
→
#198
(
detail
)
org.overture.ide.core
#197
→
#198
(
detail
)
org.overture.ide.vdmpp.core
#197
→
#198
(
detail
)
org.overture.ide.parsers.vdmj
#197
→
#198
(
detail
)
org.overture.ide.builders.vdmj
#197
→
#198
(
detail
)
org.overture.ide.plugins.externaleditor
#197
→
#198
(
detail
)
org.overture.ide.plugins.poviewer
#197
→
#198
(
detail
)
org.overture.ide.vdmsl.ui
#197
→
#198
(
detail
)
org.overture.ide.vdmrt.core
#197
→
#198
(
detail
)
org.overture.ide.vdmpp.ui
#197
→
#198
(
detail
)
org.overture.ide.ui
#197
→
#198
(
detail
)
Overture IDE Eclipse core feature
#197
→
#198
(
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!