Run all Docker CI containers with 8G of /dev/shm allocated (#1273)

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 29, 2023 · 227322d · 227322d
1 parent 45a9d93
commit 227322d
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