From e5544da81a97994e8faa72e56e95199830c94c16 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= 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 --- .github/workflows/main.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 55d9f0abd7a..d5aa83b9ae6 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -122,6 +122,21 @@ 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 + sudo mkdir -p /mnt/build/tmp /mnt/build/cache + sudo chown $(id -u):$(id -g) /mnt/build + + - name: Use disk with more space for $TMPDIR + run: echo "TMPDIR=/mnt/build/tmp" >>"$GITHUB_ENV" + + - name: Use disk with more space for $XDG_CACHE_HOME + run: echo "XDG_CACHE_HOME=/mnt/build/cache" >>"$GITHUB_ENV" + + - name: Print opam environment + run: opam exec -- env + - name: Use ocaml uses: ocaml/setup-ocaml@v2 with: