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