Merge branch 'master' into updatecli_master_04b8a347a72ce9b63c57d30f4…

…7d1466887f35fcae7350f100cc85d0dd91226ab
jenkinsci · Jul 25, 2024 · f81569c · f81569c
2 parents f93e2b2 + 0cbc6e6
commit f81569c
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -1,7 +1,8 @@
 def agentSelector(String imageType) {
     // Image type running on a Linux agent
     if (imageType == 'linux') {
-        return 'linux'
+        // Need Docker and a LOT of memory for faster builds (due to multi archs) or fallback to linux (trusted.ci)
+        return 'docker-highmem || linux'
     }
     // Image types running on a Windows Server Core 2022 agent
     if (imageType.contains('2022')) {