Skip to content
Jenkins
log in
Jenkins
overture-development
Overture IDE Standalone Product
#289
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 1 yr 8 mo ago
Took
3 min 20 sec
on master
Build #289 (May 6, 2021 1:53:30 PM)
Build Artifacts
org.overture.ide.product-3.0.3-SNAPSHOT-linux.gtk.x86_64.zip
156.85 MB
view
org.overture.ide.product-3.0.3-SNAPSHOT-macosx.cocoa.x86_64.zip
159.35 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.03 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT-win32.win32.x86_64.zip
157.29 MB
view
org.overture.ide.product-3.0.3-SNAPSHOT.pom
5.09 KB
view
org.overture.ide.product-3.0.3-SNAPSHOT.zip
140.19 MB
view
No changes. Changes in dependency
The Overture Abstract Syntax Tree
#288
→
#289
(
detail
)
The VDM Type Checker
#288
→
#289
(
detail
)
The VDM Interpreter
#288
→
#289
(
detail
)
The VDM parser
#288
→
#289
(
detail
)
Test Framework for Overture
#288
→
#289
(
detail
)
Overture Core Command Line Tool
#288
→
#289
(
detail
)
The VDM Pretty Printer
#288
→
#289
(
detail
)
The Proof Obligation Generator
#288
→
#289
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 23.
New zero warnings highscore: no warnings for 1,901 days!