.github/workflows/extract-sage-local.sh: Show df

Matthias Koeppe · Matthias Koeppe · commit c400c37585ad · 2020-05-03T08:24:26.000-07:00
diff --git a/.github/workflows/extract-sage-local.sh b/.github/workflows/extract-sage-local.sh
@@ -20,6 +20,7 @@ rm -f sage-local-*.tar
 
 # Show what has been built already.
 ls -l local local/var/lib/sage/installed/
+df -h
 
 # Rebase!
 src/bin/sage-rebase.sh local
