From f9fd1a9885ee707b55454ea535344aa53b9974d9 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 11:26:58 +0000
Subject: [PATCH] ci: also print free disk space inside opam

---
 .github/workflows/main.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 164995849a..9884880fa3 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -142,6 +142,9 @@ jobs:
       - name: Check disk space
         run: df -h || true
         
+      - name: Check disk space from inside opam
+        run: opam exec -- df -h || true
+        
       - name: set tmpdir
         run: echo "TMPDIR=${RUNNER_TEMP}" >>$GITHUB_ENV