Started 2 mo 28 days ago
Took 1 min 59 sec on master

Aborted Build #268 (Aug 28, 2020 10:31:15 AM)

Changes
  1. Adds release note (commit: 1ddce8d) (details / githubweb)

Started by GitHub push by idhugoid

Revision: 1ddce8d1eacadd128ab989e1ac57305a9d910bca
  • refs/remotes/origin/development
Task Scanner: 38 open tasks in 146 workspace files.

Aborted by user idhugoid

Module Builds

Success Core Tools2.3 sec
Not built Documentation1 ms
 Overture Examples Jar File (didn’t run)
Success Overture External Resources7.1 sec
Not built Overture IDE Top-level1 ms
Success The Overture Tool Platform root6.8 sec
Not built VDM Annotations0 ms
Success The Overture Abstract Syntax Tree23 sec
Not built Code Generation1 ms
Not built Combinatorial Testing1 ms
Not built Overture Core Command Line Tool0 ms
 Overture GUI Builder (didn’t run)
Not built The VDM Interpreter0 ms
Not built POG - Isagen Integration0 ms
 Model Checkers for VDM (didn’t run)
Not built New Pretty Printer1 ms
Aborted The VDM parser1 ms
Not built The Proof Obligation Generator0 ms
Not built VDM Pretty Printing12 ms
Success Test Framework for Overture5 sec
Not built Overture Testing1 ms
Not built The VDM Type Checker1 ms
Not built Annotation Examples0 ms
Not built Provided Annotations1 ms
Not built The Java Code Generator Maven Plugin0 ms
Not built The Java Code Generator Runtime1 ms
Not built The Intermediate Representation Tree0 ms
Not built The VDM to Isabelle Translator1 ms
Not built The Java Code Generator0 ms
Not built The Java Code Generator Testing0 ms
Not built The Code Generation Platform1 ms
Not built The VDM to JML Generator0 ms
Not built The VDM to JML Generator Runtime1 ms
Not built Combinatorial Testing Runtime0 ms
Not built Combinatorial Testing Utilities1 ms
 Integration of the ProB Solver for VDM (didn’t run)
 Integration of the ProB Solver for the VDM Interpreter (didn’t run)
Not built The VDM Pretty Printer0 ms
 Overture Example Testing Support (didn’t run)
 Overture Example Tests (didn’t run)
Not built Overture Testing Framework0 ms
Not built Overture Sample Tests1 ms
 Overture Demo Tests (didn’t run)
Not built The Overture release notes0 ms
Not built Overture IDE Eclipse features0 ms
Not built Overture IDE Builders1 ms
Not built org.overture.ide.core0 ms
Not built org.overture.ide.debug0 ms
Not built org.overture.ide.help1 ms
Not built Overture IDE Parsers0 ms
Not built org.overture.ide.platform1 ms
Not built Overture IDE core plugins GUI0 ms
Not built Overture IDE Standalone Product0 ms
 Overture IDE tests (didn’t run)
Not built org.overture.ide.ui0 ms
Not built Overture IDE VDM-PP Top-level0 ms
Not built Overture IDE VDM-RT (RealTime) Top-level0 ms
Not built Overture IDE VDM-SL top level1 ms
Not built org.overture.ide.builders.vdmj1 ms
Not built Overture IDE Eclipse core feature1 ms
Not built Overture IDE Eclipse rcp feature1 ms
Not built org.overture.ide.parsers.vdmj0 ms
 The Java Code Generator Plugin (didn’t run)
Not built Combinatorial Testing0 ms
Not built org.overture.ide.plugins.coverageeditor1 ms
Not built org.overture.ide.plugins.csk2 ms
Not built Developer Utilities for Overture0 ms
Not built org.overture.ide.plugins.externaleditor1 ms
Not built Overture IDE Eclipse plugin features1 ms
 GUI Builder Plugin (didn’t run)
Not built The Java Code Generator Plugin0 ms
Not built org.overture.ide.plugins.latex1 ms
Not built org.overture.ide.plugins.poviewer1 ms
 Runtime for Prob (didn’t run)
Not built org.overture.ide.plugins.quickinterpreter0 ms
Not built RT Trace Viewer Plugin1 ms
Not built UML2 Translator0 ms
 Overture IDE Eclipse Code Generator feature (didn’t run)
Not built Overture IDE Eclipse Combinatorial Testing feature0 ms
Not built Overture IDE Eclipse Coverage Editor feature0 ms
Not built Overture IDE Eclipse CSK VDM Tools Link feature0 ms
Not built Overture IDE Eclipse Developer Utilities feature0 ms
 Overture IDE Eclipse GUI Builder feature (didn’t run)
Not built Overture IDE Eclipse Java Code Generator feature1 ms
Not built Overture IDE Eclipse LaTeX Creator feature10 ms
Not built Overture IDE Eclipse Proof Obligation Viewer feature1 ms
 Overture IDE Eclipse plugin probruntime feature (didn’t run)
Not built Overture IDE Eclipse VDM Quick Interpreter feature0 ms
Not built Overture IDE Eclipse Realtime Trace Viewer feature1 ms
Not built Overture IDE Eclipse plugin uml2 feature1 ms
 Prob interpreter runtime (didn’t run)
 Prob interpreter runtime linux x86 (didn’t run)
 Prob interpreter runtime linux x64 (didn’t run)
 Prob interpreter runtime mac x64 (didn’t run)
 Prob interpreter runtime win32 (didn’t run)
 org.overture.ide.tests.ui (didn’t run)
Not built org.overture.ide.vdmpp.core0 ms
Not built org.overture.ide.vdmpp.debug0 ms
Not built org.overture.ide.vdmpp.ui0 ms
Not built org.overture.ide.vdmrt.core1 ms
Not built org.overture.ide.vdmrt.debug0 ms
Not built org.overture.ide.vdmrt.ui1 ms
Not built org.overture.ide.vdmsl.core2 ms
Not built org.overture.ide.vdmsl.debug0 ms
Not built org.overture.ide.vdmsl.ui0 ms