Skip to content
Jenkins
log in
Jenkins
overture-test
Overture IDE Standalone Product
#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 3 yr 11 mo ago
Took
2 min 11 sec
on master
Build #198 (Mar 5, 2019 10:31:15 AM)
Build Artifacts
org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86.zip
150.17 MB
view
org.overture.ide.product-2.6.5-SNAPSHOT-linux.gtk.x86_64.zip
150.28 MB
view
org.overture.ide.product-2.6.5-SNAPSHOT-macosx.cocoa.x86_64.zip
152.75 MB
view
org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
1.43 MB
view
org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86.zip
73.80 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
74.45 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86.zip
73.22 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
76.50 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT-p2artifacts.xml
2.83 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT-p2metadata.xml
139.27 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86.zip
150.44 MB
view
org.overture.ide.product-2.6.5-SNAPSHOT-win32.win32.x86_64.zip
150.47 MB
view
org.overture.ide.product-2.6.5-SNAPSHOT.pom
5.09 KB
view
org.overture.ide.product-2.6.5-SNAPSHOT.zip
138.47 MB
view
No changes. Changes in dependency
Overture IDE Eclipse CSK VDM Tools Link feature
#197
→
#198
(
detail
)
org.overture.ide.plugins.coverageeditor
#197
→
#198
(
detail
)
The Java Code Generator Plugin
#197
→
#198
(
detail
)
Overture IDE Eclipse Realtime Trace Viewer feature
#197
→
#198
(
detail
)
org.overture.ide.plugins.poviewer
#197
→
#198
(
detail
)
Overture IDE Eclipse Combinatorial Testing feature
#197
→
#198
(
detail
)
UML2 Translator
#197
→
#198
(
detail
)
Overture IDE Eclipse core feature
#197
→
#198
(
detail
)
org.overture.ide.platform
#197
→
#198
(
detail
)
The Proof Obligation Generator
#197
→
#198
(
detail
)
The VDM Pretty Printer
#197
→
#198
(
detail
)
org.overture.ide.help
#197
→
#198
(
detail
)
org.overture.ide.vdmrt.debug
#197
→
#198
(
detail
)
org.overture.ide.plugins.externaleditor
#197
→
#198
(
detail
)
org.overture.ide.vdmsl.core
#197
→
#198
(
detail
)
Overture IDE Eclipse Coverage Editor feature
#197
→
#198
(
detail
)
Overture Core Command Line Tool
#197
→
#198
(
detail
)
org.overture.ide.vdmrt.ui
#197
→
#198
(
detail
)
Combinatorial Testing
#197
→
#198
(
detail
)
org.overture.ide.parsers.vdmj
#197
→
#198
(
detail
)
The Overture Abstract Syntax Tree
#197
→
#198
(
detail
)
Test Framework for Overture
#197
→
#198
(
detail
)
org.overture.ide.vdmsl.debug
#197
→
#198
(
detail
)
org.overture.ide.vdmrt.core
#197
→
#198
(
detail
)
RT Trace Viewer Plugin
#197
→
#198
(
detail
)
org.overture.ide.builders.vdmj
#197
→
#198
(
detail
)
org.overture.ide.core
#197
→
#198
(
detail
)
Overture IDE Eclipse VDM Quick Interpreter feature
#197
→
#198
(
detail
)
The VDM Interpreter
#197
→
#198
(
detail
)
org.overture.ide.plugins.quickinterpreter
#197
→
#198
(
detail
)
The VDM Type Checker
#197
→
#198
(
detail
)
org.overture.ide.plugins.latex
#197
→
#198
(
detail
)
Overture IDE Eclipse Developer Utilities feature
#197
→
#198
(
detail
)
org.overture.ide.plugins.csk
#197
→
#198
(
detail
)
org.overture.ide.vdmpp.core
#197
→
#198
(
detail
)
org.overture.ide.vdmsl.ui
#197
→
#198
(
detail
)
org.overture.ide.ui
#197
→
#198
(
detail
)
org.overture.ide.vdmpp.debug
#197
→
#198
(
detail
)
org.overture.ide.debug
#197
→
#198
(
detail
)
Overture IDE Eclipse plugin uml2 feature
#197
→
#198
(
detail
)
Overture IDE Eclipse Proof Obligation Viewer feature
#197
→
#198
(
detail
)
Overture IDE Eclipse rcp feature
#197
→
#198
(
detail
)
The VDM parser
#197
→
#198
(
detail
)
Overture IDE Eclipse LaTeX Creator feature
#197
→
#198
(
detail
)
Developer Utilities for Overture
#197
→
#198
(
detail
)
org.overture.ide.vdmpp.ui
#197
→
#198
(
detail
)
Overture IDE Eclipse Java Code Generator 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!