From 515c66a7806ea063b0aed629840ece1e8558f886 Mon Sep 17 00:00:00 2001 From: Ulrich Mohr Date: Wed, 25 Oct 2023 12:16:32 +0200 Subject: [PATCH] switching to new docker image --- automation/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile index 2a3148573..3b3f550c7 100644 --- a/automation/Jenkinsfile +++ b/automation/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { } agent { docker { - image 'fsfw-ci:d6' + image 'fsfw-ci:d11' args '--network host --sysctl fs.mqueue.msg_max=100' } }