From 488cea43cdec8af1af255d78f057009f6cc39fe4 Mon Sep 17 00:00:00 2001
From: Thijs Wenker <me@thoys.nl>
Date: Mon, 4 May 2020 11:28:35 +0200
Subject: [PATCH] disk usage github actions, for debugging linux build issue

---
 .github/workflows/pr_build.yml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/.github/workflows/pr_build.yml b/.github/workflows/pr_build.yml
index 57d32741ca..f5104dbe43 100644
--- a/.github/workflows/pr_build.yml
+++ b/.github/workflows/pr_build.yml
@@ -121,6 +121,13 @@ jobs:
       working-directory: ${{runner.workspace}}/build
       shell: bash
       run: cmake --build . --config $BUILD_TYPE --target package $CMAKE_BUILD_EXTRA
+    - name: Output system stats
+      if: ${{ always() }}
+      working-directory: ${{runner.workspace}}/build
+      shell: bash
+      run: |
+        echo "Disk usage:"
+        df -h
     - name: Output Installer Logs
       if: failure() && matrix.os == 'windows-latest'
       shell: bash