Skip to content
Jenkins
log in
Jenkins
overture-development
Overture IDE Standalone Product
#287
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 2 mo 18 days ago
Took
5 min 8 sec
on master
Build #287 (Dec 15, 2020 9:41:41 PM)
Build Artifacts
org.overture.ide.product-3.0.3-SNAPSHOT-linux.gtk.x86_64.zip
156.58 MB
view
org.overture.ide.product-3.0.3-SNAPSHOT-macosx.cocoa.x86_64.zip
159.08 MB
view
org.overture.ide.product-3.0.3-SNAPSHOT-org.overture.ide.platform.product.executable.cocoa.macosx.x86_64.zip
1.44 MB
view
org.overture.ide.product-3.0.3-SNAPSHOT-org.overture.ide.platform.product.executable.gtk.linux.x86_64.zip
73.19 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT-org.overture.ide.platform.product.executable.win32.win32.x86_64.zip
201.60 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT-p2artifacts.xml
1.75 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT-p2metadata.xml
138.02 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT-win32.win32.x86_64.zip
157.02 MB
view
org.overture.ide.product-3.0.3-SNAPSHOT.pom
5.09 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT.zip
139.92 MB
view
No changes. Changes in dependency
Overture Core Command Line Tool
#286
→
#287
(
detail
)
The VDM parser
#286
→
#287
(
detail
)
The Overture Abstract Syntax Tree
#286
→
#287
(
detail
)
Test Framework for Overture
#286
→
#287
(
detail
)
The VDM Type Checker
#286
→
#287
(
detail
)
The VDM Interpreter
#286
→
#287
(
detail
)
The VDM Pretty Printer
#286
→
#287
(
detail
)
The Proof Obligation Generator
#286
→
#287
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 23.
New zero warnings highscore: no warnings for 1,760 days!