diff --git a/server/bubblewrap.sh b/server/bubblewrap.sh
index 96d76523..f36a7ea3 100755
--- a/server/bubblewrap.sh
+++ b/server/bubblewrap.sh
@@ -12,6 +12,7 @@ if command -v bwrap >/dev/null 2>&1; then
     --ro-bind "$LEAN_ROOT" /lean \
     --ro-bind /usr /usr \
     --dev /dev \
+    --tmpfs /tmp \
     --proc /proc \
     --symlink usr/lib /lib\
     --symlink usr/lib64 /lib64\