diff --git a/Jenkinsfile b/Jenkinsfile index 12ce00e..3a78edf 100644 --- a/Jenkinsfile +++ b/Jenkinsfile @@ -426,9 +426,17 @@ pipeline { } post { always { - dir("gitrepo") { - publishCoverage adapters: [cobertura(mergeToOneReport: true, path: "helpers-results/cl_types_check/cobertura.xml")] - junit 'helpers-results/cl_types_check/junit.xml' + dir("gitrepo") { + //publish coverage + recordCoverage( sourceDirectories: [[path: 'src']], + tools: [[parser: 'COBERTURA', pattern: 'helpers-results/cl_types_check/cobertura.xml']], + id: 'COBERTURA', name: 'COBERTURA Coverage', + sourceCodeRetention: 'EVERY_BUILD',) + + //add type check to junit result set + junit 'helpers-results/cl_types_check/junit.xml' + + //publish html reports files publishHTML([ reportDir: "helpers-results/cl_quality_check", reportFiles: "report.html", diff --git a/pyproject.toml b/pyproject.toml index 32815a9..9ea5ad4 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -48,6 +48,20 @@ where = ["src"] [tool.setuptools.package-data] "pysimpleini" = ["py.typed"] +# [[tool.mypy.overrides]] +# module = "" +# ignore_missing_imports = true + +[tool.coverage.run] +cover_pylib = false +branch = true +data_file="helpers-results/cl_unit_test_raw_coverage/.coverage" +# debug = ["config","multiproc","process"] +parallel = true +concurrency = [ + 'thread' +] + [project.urls] Homepage = "https://chacha.ddns.net/gitea/chacha/pygitversionhelper/" Documentation = "https://chacha.ddns.net/mkdocs-web/chacha/pygitversionhelper/master/latest/"