Skip to content
Jenkins
log in
Jenkins
overture-development
Overture IDE Eclipse rcp feature
#285
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 15 days ago
Took
21 sec
on master
Build #285 (Nov 10, 2020 4:20:28 PM)
Build Artifacts
org.overture.ide.features.rcp-3.0.3-SNAPSHOT-p2artifacts.xml
1.15 KB
view
org.overture.ide.features.rcp-3.0.3-SNAPSHOT-p2metadata.xml
9.52 KB
view
org.overture.ide.features.rcp-3.0.3-SNAPSHOT-root.zip
11.36 MB
view
org.overture.ide.features.rcp-3.0.3-SNAPSHOT.jar
11.37 MB
view
org.overture.ide.features.rcp-3.0.3-SNAPSHOT.pom
3.24 KB
view
Changes
[maven-release-plugin] prepare release Release/3.0.2 (
commit: cafcbab
) (
details
)
[maven-release-plugin] prepare for next development iteration (
commit: 8f453e3
) (
details
)
Changes in dependency
Overture IDE Top-level
#271
→
#281
(
detail
)
The Overture Tool Platform root
#269
→
#281
(
detail
)
Overture Core Command Line Tool
#284
→
#285
(
detail
)
The VDM parser
#284
→
#285
(
detail
)
The Overture Abstract Syntax Tree
#284
→
#285
(
detail
)
Overture IDE Eclipse features
#269
→
#281
(
detail
)
Test Framework for Overture
#284
→
#285
(
detail
)
The VDM Type Checker
#284
→
#285
(
detail
)
Overture IDE Eclipse rcp feature
#269
→
#281
(
detail
)
The VDM Interpreter
#284
→
#285
(
detail
)
The VDM Pretty Printer
#284
→
#285
(
detail
)
The Proof Obligation Generator
#284
→
#285
(
detail
)
Task Scanner: 0 open tasks in 1 workspace file.
No warnings since build 23.
New zero warnings highscore: no warnings for 1,724 days!