fix jenkins depr

Signed-off-by: Christian Dietrich <christian.dietrich@itemis.de>
eclipse · May 5, 2022 · d0d10e2 · d0d10e2
1 parent de96429
commit d0d10e2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/releng/jenkins/update-composite-site.Jenkinsfile b/releng/jenkins/update-composite-site.Jenkinsfile
@@ -1,7 +1,7 @@
 pipeline {
   agent {
     kubernetes {
-      label 'migration'
+      inheritFrom 'centos-8'
     }
   }