diff --git a/tests/collect_coverage_html/Jenkinsfile b/tests/collect_coverage_html/Jenkinsfile new file mode 100644 index 0000000..3a33849 --- /dev/null +++ b/tests/collect_coverage_html/Jenkinsfile @@ -0,0 +1,4 @@ +stage('collect coverage') { + sh 'mkdir -p dist/coverage' + sh 'mv reports/coverage/html dist/coverage/html' +}