From ad394b9dbc49c1aa8c9ef9ce1367138278d5ec97 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= <edwin.torok@cloud.com>
Date: Fri, 2 Feb 2024 10:35:26 +0000
Subject: [PATCH] fix(ci): use /mnt for temporary files and dune cache
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Should have more disk space.

Signed-off-by: Edwin Török <edwin.torok@cloud.com>
---
 .github/workflows/main.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 55d9f0abd7a..70b12433df6 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -122,6 +122,16 @@ 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/build/tmp"
+          export XDG_CACHE_HOME="/mnt/build/cache"
+          sudo mkdir -p "${TMPDIR}" "${XDG_CACHE_HOME}"
+          sudo chown "$(id -u):$(id -g)" "${TMPDIR}" "${XDG_CACHE_HOME}"
+          echo "TMPDIR=${TMPDIR}" >>"$GITHUB_ENV"
+          echo "XDG_CACHE_HOME=${XDG_CACHE_HOME}" >>"$GITHUB_ENV"
+                        
       - name: Use ocaml
         uses: ocaml/setup-ocaml@v2
         with: