Merge pull request #4442 from thaJeztah/20.10_update_jenkins_workers

[20.10] Jenkinsfile: update workers to ubuntu 20.04
docker · Jul 17, 2023 · 4abd25e · 4abd25e
2 parents 492cbfa + 7488842
commit 4abd25e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,6 +1,6 @@
 pipeline {
     agent {
-        label "amd64 && ubuntu-1804 && overlay2"
+        label "amd64 && ubuntu-2004 && overlay2"
     }
 
     options {