Update pipeline to debian_buster
authorPhilippe Pepiot <philippe.pepiot@logilab.fr>
Thu, 21 Nov 2019 14:31:03 +0100
changeset 128 b8f7daaaee99
parent 127 cfd4cccf5726
child 129 973afac0e3dd
Update pipeline to debian_buster
Jenkinsfile
--- a/Jenkinsfile	Thu Nov 21 14:24:50 2019 +0100
+++ b/Jenkinsfile	Thu Nov 21 14:31:03 2019 +0100
@@ -1,5 +1,5 @@
 pipeline {
-  agent {label 'debian_stretch'}
+  agent {label 'debian_buster'}
   stages {
     stage('lint') {
       parallel {