From 7c6cbfa72e026773015747cb25b8b0ad18b0453a Mon Sep 17 00:00:00 2001 From: Mike Pilgrem Date: Wed, 11 Oct 2023 18:40:00 +0100 Subject: [PATCH] Re #6286 Report disk space usage during CI --- .github/workflows/integration-tests.yml | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/.github/workflows/integration-tests.yml b/.github/workflows/integration-tests.yml index 1014678390..be04a5d564 100644 --- a/.github/workflows/integration-tests.yml +++ b/.github/workflows/integration-tests.yml @@ -126,9 +126,16 @@ jobs: rm -Rf $(stack path --stack-root)/hooks fi + # Report the file system disk space usage before checks, for + # information. + df -h + # Do this in the same step as installing deps to get relevant env var modifications stack etc/scripts/release.hs check ${{ matrix.release-args }} + # Report the file system disk space usage after checks, for information. + df -h + set +ex - name: Build bindist