Skip to content
Jenkins
log in
Jenkins
overture-development
Overture IDE Standalone Product
#290
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View Build Information
Executed Mojos
See Fingerprints
Embeddable Build Status
Previous Build
Started 1 yr 5 mo ago
Took
2 min 12 sec
on master
Build #290 (Aug 11, 2021 4:10:54 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.36 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.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
#289
→
#290
(
detail
)
The VDM Type Checker
#289
→
#290
(
detail
)
The VDM Interpreter
#289
→
#290
(
detail
)
The VDM parser
#289
→
#290
(
detail
)
Test Framework for Overture
#289
→
#290
(
detail
)
Overture Core Command Line Tool
#289
→
#290
(
detail
)
The VDM Pretty Printer
#289
→
#290
(
detail
)
The Proof Obligation Generator
#289
→
#290
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 23.
New zero warnings highscore: no warnings for 1,998 days!