ci: count coverage of extension when called from python

henryborchers · henryborchers · commit 053f4e3f4928 · 2025-12-11T11:16:44.000-06:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -583,7 +583,7 @@ pipeline {
                             when{
                                 equals expected: true, actual: params.RUN_CHECKS
                             }
-                            stages{
+                            parallel{
                                 stage('Python tests'){
                                     environment{
                                         GCOV_PREFIX='build/temp'

Original file line number	Diff line number	Diff line change
`@@ -583,7 +583,7 @@ pipeline {`
`583`	`583`	`when{`
`584`	`584`	`equals expected: true, actual: params.RUN_CHECKS`
`585`	`585`	`}`
`586`		`- stages{`
	`586`	`+ parallel{`
`587`	`587`	`stage('Python tests'){`
`588`	`588`	`environment{`
`589`	`589`	`GCOV_PREFIX='build/temp'`