[Jenkins]Jenkins
 Back to Dashboard
 Status
 Changes
 Workspace
 Modules
 Open Tasks
 GitHub Hook Log
 Artifactory Build Info
 GitHub
 Coverage Trend
 Embeddable Build Status
collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 8,372 tests.100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
Success > Console Output
#289
May 6, 2021 1:52 PM
 [Artifactory]43 MB
Success > Console Output
#288
Feb 9, 2021 11:47 AM
 [Artifactory]43 MB
Success > Console Output
#287
Dec 15, 2020 9:41 PM
 [Artifactory]43 MB
Success > Console Output
#286
Nov 11, 2020 4:02 PM
 [Artifactory]43 MB
Success > Console Output
#285
Nov 10, 2020 4:20 PM
 [Artifactory]43 MB
Success > Console Output
#284
Nov 10, 2020 3:10 PM
 [Artifactory]42 MB
Success > Console Output
#283
Nov 10, 2020 2:33 PM
 [Artifactory]42 MB
Success > Console Output
#282
Nov 10, 2020 2:03 PM
 [Artifactory]42 MB
Success > Console Output
#281
Nov 10, 2020 1:33 PM
 [Artifactory]43 MB
Success > Console Output
#280
Nov 10, 2020 9:58 AM
 [Artifactory]42 MB
Success > Console Output
#279
Nov 10, 2020 9:26 AM
 [Artifactory]42 MB
Success > Console Output
#278
Nov 4, 2020 10:28 AM
 [Artifactory]42 MB
Success > Console Output
#277
Oct 30, 2020 5:21 PM
 [Artifactory]42 MB
Success > Console Output
#276
Oct 6, 2020 3:19 PM
 [Artifactory]42 MB
Success > Console Output
#275
Oct 5, 2020 1:57 PM
 [Artifactory]42 MB
Success > Console Output
#274
Sep 10, 2020 9:45 AM
 [Artifactory]43 MB
Success > Console Output
#273
Sep 8, 2020 3:59 PM
 [Artifactory]43 MB
Failed > Console Output
#272
Sep 8, 2020 3:48 PM
 5 MB
Success > Console Output
#271
Aug 31, 2020 2:45 PM
 [Artifactory]43 MB
Success > Console Output
#270
Aug 28, 2020 11:12 AM
 [Artifactory]42 MB
Success > Console Output
#269
Aug 28, 2020 10:41 AM
 [Artifactory]42 MB
Aborted > Console Output
#268
Aug 28, 2020 10:31 AM
 1 MB
Success > Console Output
#267
Aug 28, 2020 9:26 AM
 [Artifactory]42 MB
Success > Console Output
#266
Aug 26, 2020 11:40 AM
 [Artifactory]42 MB
Success > Console Output
#265
Aug 24, 2020 9:13 AM
 [Artifactory]42 MB
Atom feed Atom feed for all Atom feed Atom feed for failures

Modules

   S   WNameLast SuccessLast FailureLast Duration # Issues 
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Tool Platform root 8 days 21 hr - #289N/A23 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture External Resources 8 days 21 hr - #289N/A8.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Core Tools 8 days 21 hr - #289N/A2.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture Abstract Syntax Tree 8 days 21 hr - #289N/A36 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 56 tests.100
Build stability: No recent builds failed.100
The VDM parser 8 days 21 hr - #289N/A19 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 1,906 tests.100
Build stability: No recent builds failed.100
The VDM Type Checker 8 days 21 hr - #289N/A1 min 20 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing 8 days 21 hr - #289N/A2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Testing Framework 8 days 21 hr - #289N/A6.7 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 3,213 tests.100
Build stability: No recent builds failed.100
Overture Sample Tests 8 days 21 hr - #289N/A49 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 977 tests.100
Build stability: No recent builds failed.100
The VDM Interpreter 8 days 21 hr - #289N/A1 min 23 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 195 tests.100
Build stability: No recent builds failed.100
The Proof Obligation Generator 8 days 21 hr - #289N/A27 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Test Framework for Overture 8 days 21 hr - #289N/A7.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 8 days 21 hr - #289N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing Utilities 8 days 21 hr - #289N/A5.4 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 35 tests.100
Build stability: No recent builds failed.100
Combinatorial Testing Runtime 8 days 21 hr - #289N/A30 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Pretty Printing 8 days 21 hr - #289N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM Pretty Printer 8 days 21 hr - #289N/A7.8 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 97 tests.100
Build stability: No recent builds failed.100
New Pretty Printer 8 days 21 hr - #289N/A9.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture Core Command Line Tool 8 days 21 hr - #289N/A7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Code Generation 8 days 21 hr - #289N/A1.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Intermediate Representation Tree 8 days 21 hr - #289N/A18 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 17 tests.100
Build stability: No recent builds failed.100
The Code Generation Platform 8 days 21 hr - #289N/A1 min 23 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 1,479 tests.100
Build stability: No recent builds failed.100
The Java Code Generator 8 days 21 hr - #289N/A1 min 4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Testing 8 days 21 hr - #289N/A6.9 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 278 tests.100
Build stability: No recent builds failed.100
The VDM to JML Generator 8 days 21 hr - #289N/A38 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The VDM to JML Generator Runtime 8 days 21 hr - #289N/A5 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 42 tests.100
Build stability: No recent builds failed.100
The Java Code Generator Runtime 8 days 21 hr - #289N/A12 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Maven Plugin 8 days 21 hr - #289N/A19 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 73 tests.100
Build stability: No recent builds failed.100
The VDM to Isabelle Translator 8 days 21 hr - #289N/A19 sec -  
Success100%
WDescription%
Test Result: 0 tests failing out of a total of 4 tests.100
Build stability: No recent builds failed.100
POG - Isagen Integration 8 days 21 hr - #289N/A9.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
VDM Annotations 8 days 21 hr - #289N/A1.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Provided Annotations 8 days 21 hr - #289N/A7.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Annotation Examples 8 days 21 hr - #289N/A4.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Documentation 8 days 21 hr - #289N/A1.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Overture release notes 8 days 21 hr - #289N/A4.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Top-level 8 days 21 hr - #289N/A2.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.core 8 days 21 hr - #289N/A9.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.ui 8 days 21 hr - #289N/A12 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Parsers 8 days 21 hr - #289N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.parsers.vdmj 8 days 21 hr - #289N/A5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Builders 8 days 21 hr - #289N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.builders.vdmj 8 days 21 hr - #289N/A5.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.debug 8 days 21 hr - #289N/A12 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-SL top level 8 days 21 hr - #289N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.core 8 days 21 hr - #289N/A6.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.ui 8 days 21 hr - #289N/A6.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmsl.debug 8 days 21 hr - #289N/A6.4 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-PP Top-level 8 days 21 hr - #289N/A1.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.core 8 days 21 hr - #289N/A5.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.ui 8 days 21 hr - #289N/A7.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmpp.debug 8 days 21 hr - #289N/A9.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE VDM-RT (RealTime) Top-level 8 days 21 hr - #289N/A1.6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.core 8 days 21 hr - #289N/A5.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.ui 8 days 21 hr - #289N/A6.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.vdmrt.debug 8 days 21 hr - #289N/A7.2 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.help 8 days 21 hr - #289N/A21 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE core plugins GUI 8 days 21 hr - #289N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.coverageeditor 8 days 21 hr - #289N/A9.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.csk 8 days 21 hr - #289N/A6.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.quickinterpreter 8 days 21 hr - #289N/A6.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.externaleditor 8 days 21 hr - #289N/A7.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.latex 8 days 21 hr - #289N/A8.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.plugins.poviewer 8 days 21 hr - #289N/A9.5 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Combinatorial Testing 8 days 21 hr - #289N/A9.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Developer Utilities for Overture 8 days 21 hr - #289N/A6.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
UML2 Translator 8 days 21 hr - #289N/A10 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
RT Trace Viewer Plugin 8 days 21 hr - #289N/A8.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
The Java Code Generator Plugin 8 days 21 hr - #289N/A11 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse plugin features 8 days 21 hr - #289N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Coverage Editor feature 8 days 21 hr - #289N/A7.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse CSK VDM Tools Link feature 8 days 21 hr - #289N/A5.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Combinatorial Testing feature 8 days 21 hr - #289N/A6.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Developer Utilities feature 8 days 21 hr - #289N/A6 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse LaTeX Creator feature 8 days 21 hr - #289N/A5.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Proof Obligation Viewer feature 8 days 21 hr - #289N/A6.1 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse VDM Quick Interpreter feature 8 days 21 hr - #289N/A5.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse plugin uml2 feature 8 days 21 hr - #289N/A5.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Realtime Trace Viewer feature 8 days 21 hr - #289N/A6.3 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse Java Code Generator feature 8 days 21 hr - #289N/A5.8 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
org.overture.ide.platform 8 days 21 hr - #289N/A14 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse features 8 days 21 hr - #289N/A1.7 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse core feature 8 days 21 hr - #289N/A5.9 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Eclipse rcp feature 8 days 21 hr - #289N/A23 sec -  
Success100%
WDescription%
Build stability: No recent builds failed.100
Overture IDE Standalone Product 8 days 21 hr - #289N/A3 min 20 sec -  
Icon:  S M L