From 5084db6cd62b46c2e44ea2d02a0a05277ba3f915 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Tue, 12 Dec 2023 13:59:28 +0100 Subject: [PATCH] oh, its probably that.. --- automation/Jenkinsfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/automation/Jenkinsfile b/automation/Jenkinsfile index b9b9a795b..6e30112d4 100644 --- a/automation/Jenkinsfile +++ b/automation/Jenkinsfile @@ -6,7 +6,7 @@ pipeline { } agent { docker { - image 'fsfw-ci:d11' + image 'fsfw-ci:d12' args '--network host --sysctl fs.mqueue.msg_max=100' } }