diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 55d9f0abd7a..f3b25961166 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -122,6 +122,18 @@ jobs:
       - name: Update Ubuntu repositories
         run: sudo apt-get update
 
+      - name: Use disk with more space for $TMPDIR and $XDG_CACHE_HOME
+        run: |
+          df -h || true
+          export TMPDIR=/mnt/tmp
+          export XDG_CACHE_HOME=/mnt/cache
+          mkdir -p "${TMPDIR}" "${XDG_CACHE_HOME}"
+          echo "TMPDIR=${TMPDIR}" >>$GITHUB_ENV
+          echo "XDG_CACHE_HOME=${XDG_CACHE_HOME}" >>$GITHUB_ENV
+        
+      - name: Print opam environment
+        run: opam exec -- env
+
       - name: Use ocaml
         uses: ocaml/setup-ocaml@v2
         with: