Skip to content
Jenkins
log in
Jenkins
overture-test
Overture IDE Eclipse rcp feature
#200
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Embeddable Build Status
Previous Build
Started 3 yr 4 mo ago
Took
10 sec
on master
Build #200 (Sep 6, 2019 2:49:19 PM)
Build Artifacts
org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2artifacts.xml
1.15 KB
view
org.overture.ide.features.rcp-2.6.5-SNAPSHOT-p2metadata.xml
9.52 KB
view
org.overture.ide.features.rcp-2.6.5-SNAPSHOT-root.zip
11.12 MB
view
org.overture.ide.features.rcp-2.6.5-SNAPSHOT.jar
11.13 MB
view
org.overture.ide.features.rcp-2.6.5-SNAPSHOT.pom
3.24 KB
view
No changes. Changes in dependency
Overture IDE Eclipse CSK VDM Tools Link feature
#199
→
#200
(
detail
)
org.overture.ide.plugins.coverageeditor
#199
→
#200
(
detail
)
The Java Code Generator Plugin
#199
→
#200
(
detail
)
Overture IDE Eclipse Realtime Trace Viewer feature
#199
→
#200
(
detail
)
org.overture.ide.plugins.poviewer
#199
→
#200
(
detail
)
Overture IDE Eclipse Combinatorial Testing feature
#199
→
#200
(
detail
)
UML2 Translator
#199
→
#200
(
detail
)
Overture IDE Eclipse core feature
#199
→
#200
(
detail
)
org.overture.ide.platform
#199
→
#200
(
detail
)
The Proof Obligation Generator
#199
→
#200
(
detail
)
The VDM Pretty Printer
#199
→
#200
(
detail
)
org.overture.ide.help
#199
→
#200
(
detail
)
org.overture.ide.vdmrt.debug
#199
→
#200
(
detail
)
org.overture.ide.plugins.externaleditor
#199
→
#200
(
detail
)
org.overture.ide.vdmsl.core
#199
→
#200
(
detail
)
Overture IDE Eclipse Coverage Editor feature
#199
→
#200
(
detail
)
Overture Core Command Line Tool
#199
→
#200
(
detail
)
org.overture.ide.vdmrt.ui
#199
→
#200
(
detail
)
Combinatorial Testing
#199
→
#200
(
detail
)
org.overture.ide.parsers.vdmj
#199
→
#200
(
detail
)
The Overture Abstract Syntax Tree
#199
→
#200
(
detail
)
Test Framework for Overture
#199
→
#200
(
detail
)
org.overture.ide.vdmsl.debug
#199
→
#200
(
detail
)
org.overture.ide.vdmrt.core
#199
→
#200
(
detail
)
RT Trace Viewer Plugin
#199
→
#200
(
detail
)
org.overture.ide.builders.vdmj
#199
→
#200
(
detail
)
org.overture.ide.core
#199
→
#200
(
detail
)
Overture IDE Eclipse VDM Quick Interpreter feature
#199
→
#200
(
detail
)
The VDM Interpreter
#199
→
#200
(
detail
)
org.overture.ide.plugins.quickinterpreter
#199
→
#200
(
detail
)
The VDM Type Checker
#199
→
#200
(
detail
)
org.overture.ide.plugins.latex
#199
→
#200
(
detail
)
Overture IDE Eclipse Developer Utilities feature
#199
→
#200
(
detail
)
org.overture.ide.plugins.csk
#199
→
#200
(
detail
)
org.overture.ide.vdmpp.core
#199
→
#200
(
detail
)
org.overture.ide.vdmsl.ui
#199
→
#200
(
detail
)
org.overture.ide.ui
#199
→
#200
(
detail
)
org.overture.ide.vdmpp.debug
#199
→
#200
(
detail
)
org.overture.ide.debug
#199
→
#200
(
detail
)
Overture IDE Eclipse plugin uml2 feature
#199
→
#200
(
detail
)
Overture IDE Eclipse Proof Obligation Viewer feature
#199
→
#200
(
detail
)
The VDM parser
#199
→
#200
(
detail
)
Overture IDE Eclipse LaTeX Creator feature
#199
→
#200
(
detail
)
Developer Utilities for Overture
#199
→
#200
(
detail
)
org.overture.ide.vdmpp.ui
#199
→
#200
(
detail
)
Overture IDE Eclipse Java Code Generator feature
#199
→
#200
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 2.
New zero warnings highscore: no warnings for 1,473 days!