build(jenkins): use same Python version for codecov and linting

mbdevpl · mbdevpl · commit f47bda8a2ac6 · 2023-03-17T17:33:15.000+09:00
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -66,7 +66,7 @@ pipeline {
 
           stage('Coverage') {
             when {
-              environment name: 'PYTHON_VERSION', value: '3.10'
+              environment name: 'PYTHON_VERSION', value: '3.11'
             }
             steps {
               sh '''#!/usr/bin/env bash

Original file line number	Diff line number	Diff line change
`@@ -66,7 +66,7 @@ pipeline {`
`66`	`66`
`67`	`67`	`stage('Coverage') {`
`68`	`68`	`when {`
`69`		`- environment name: 'PYTHON_VERSION', value: '3.10'`
	`69`	`+ environment name: 'PYTHON_VERSION', value: '3.11'`
`70`	`70`	`}`
`71`	`71`	`steps {`
`72`	`72`	`sh '''#!/usr/bin/env bash`