Debug GitHub low disk space error

Author: adamcrume

.github/workflows/ci.yml

@@ -37,6 +37,9 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install -r .github/workflows/requirements.txt
+      - name: Check disk space
+        run: ./check-disk-space
+        shell: bash
       - name: Execute test-all
         run: ./test-all
         shell: bash

check-disk-space

@@ -0,0 +1,7 @@
+#!/bin/bash
+
+set -euo pipefail
+
+df -h
+du -sh
+du -sh /*