ci: also print free disk space inside opam

edwintorok · Feb 2, 2024 · fe3b202 · fe3b202
1 parent f9fd1a9
commit fe3b202
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -148,6 +148,9 @@ jobs:
       - name: set tmpdir
         run: echo "TMPDIR=${RUNNER_TEMP}" >>$GITHUB_ENV
 
+      - name: Print opam environment
+        run: opam exec -- env
+
       - name: Run tests
         run: opam exec -- make test