Up
collapse
100%
WDescription%
Test Result: 0 tests failing out of a total of 136 tests.100
Coverage: All coverage targets have been met. 100
Coverage: All coverage targets have been met. 100
Build stability: No recent builds failed.100
Build History
x
 

Branch pvj/version-numbers

Full project name: vdm2c-multibranch-pipeline/pvj%2Fversion-numbers
Code Coverage Trend
enlarge
Code Coverage Trend
enlarge
Last Successful Artifacts
vdmclib-0.0.21-SNAPSHOT.jar101.12 KB view
vdm2c-0.0.21-SNAPSHOT-jar-with-dependencies.jar7.57 MB view
vdm2c-0.0.21-SNAPSHOT.jar359.40 KB view
org.overturetool.vdm2c.ide.cgen-0.0.21-SNAPSHOT.jar4.57 MB view
org.overturetool.vdm2c.ide.features.cgen-0.0.21-SNAPSHOT.jar5.00 KB view
Recent Changes
Latest Test Result (no failures)