ci: also print free disk space inside opam

edwintorok · Feb 2, 2024 · f9fd1a9 · f9fd1a9
1 parent 6df323a
commit f9fd1a9
Showing 1 changed file with 3 additions and 0 deletions.
diff --git 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