Skip to content
Jenkins
log in
Jenkins
vdm2c
vdm2c-multibranch-pipeline
development
#168
ENABLE AUTO REFRESH
Back to Project
Status
Changes
Console Output
View as plain text
View Build Information
Git Build Data
See Fingerprints
Coverage Report
Test Result
Coverage Report
Maven
Open Tasks
Embeddable Build Status
Pipeline Steps
Workspaces
Previous Build
Started 2 yr 4 mo ago
Took
19 min
Build #168 (Sep 22, 2020 9:29:00 AM)
Build Artifacts
c-0.2.3-SNAPSHOT.pom
1.56 KB
view
vdmclib-0.2.3-SNAPSHOT.jar
107.37 KB
view
vdmclib-0.2.3-SNAPSHOT.pom
1.71 KB
view
vdmclibdist-0.2.3-SNAPSHOT.jar
43.14 KB
view
vdmclibdist-0.2.3-SNAPSHOT.pom
1.73 KB
view
core-0.2.3-SNAPSHOT.pom
949 B
view
vdm2c-0.2.3-SNAPSHOT-jar-with-dependencies.jar
7.74 MB
view
vdm2c-0.2.3-SNAPSHOT.jar
417.69 KB
view
vdm2c-0.2.3-SNAPSHOT.pom
5.62 KB
view
ide-0.2.3-SNAPSHOT.pom
9.49 KB
view
org.overturetool.vdm2c.ide.features.cgen-0.2.3-SNAPSHOT.pom
704 B
view
org.overturetool.vdm2c.ide.cgen-0.2.3-SNAPSHOT.pom
5.21 KB
view
org.overturetool.vdm2c.ide.features-0.2.3-SNAPSHOT.pom
687 B
view
org.overturetool.vdm2c.ide.repository-0.2.3-SNAPSHOT.pom
993 B
view
root-0.2.3-SNAPSHOT.pom
11.69 KB
view
Changes
Added github actions build (
details
/
githubweb
)
Push event to branch development at 09:28:54 on 22-Sep-2020
Revision
: c75d23a12eadd22dcbb6def645e44ef45a3a8414
development
Jacoco - Overall Coverage Summary
INSTRUCTION
65%
BRANCH
45%
COMPLEXITY
40%
LINE
63%
METHOD
57%
CLASS
85%
Test Result
(no failures)
Jacoco - Overall Coverage Summary
INSTRUCTION
65%
BRANCH
45%
COMPLEXITY
40%
LINE
63%
METHOD
57%
CLASS
85%
Task Scanner:
29 open tasks
in 119 workspace files.