v1.9.0 #175

Merged
muellerr merged 623 commits from develop into main 2022-03-08 10:32:41 +01:00
Showing only changes of commit 606da48861 - Show all commits

View File

@ -4,7 +4,10 @@ pipeline {
BUILDDIR_LINUX = 'build_linux'
}
agent {
docker { image 'eive-obsw:d2'}
docker {
image 'eive-obsw:d2'
args '--sysctl fs.mqueue.msg_max=100'
}
}
stages {
stage('Clean') {