Skip to content

Change jenkins arguments according to version

decentral1se requested to merge daniell:develop into develop

Created by: daniell

After Jenkins 0.16.0, the --enable-coverage argument needs to be passed in to enable coverage. To maintain compatibility with older versions of Jenkins, we check the package version and add the --enable-coverage argument if it is required.

Merge request reports