Run all Docker CI containers with 8G of /dev/shm allocated

This should allow us to update boost, due to a change upstream. For more info on the issue, see: alisw/alidist#5242 MacOS builders must not use this option, since we don't use Docker there.
alisw · Nov 27, 2023 · 089a5a2 · 089a5a2
1 parent 45a9d93
commit 089a5a2
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/ci/repo-config/DEFAULTS.env b/ci/repo-config/DEFAULTS.env
@@ -6,5 +6,6 @@ BUILD_SUFFIX=master
 MAX_DIFF_SIZE=20000000
 TIMEOUT=120
 LONG_TIMEOUT=36000
+DOCKER_EXTRA_ARGS='--tmpfs=/dev/shm:rw,size=8g,mode=1777'
 INSTALL_ALIBUILD='alisw/[email protected]#egg=alibuild'
 INSTALL_ALIBOT='alisw/ali-bot@master#egg=ali-bot'
diff --git a/ci/repo-config/macos/DEFAULTS.env b/ci/repo-config/macos/DEFAULTS.env
@@ -1,3 +1,4 @@
 TRUSTED_USERS=ktf,TimoWilken
 TRUST_COLLABORATORS=true
 REMOTE_STORE=
+DOCKER_EXTRA_ARGS=
diff --git a/ci/repo-config/mesosci/slc8-gpu/DEFAULTS.env b/ci/repo-config/mesosci/slc8-gpu/DEFAULTS.env