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

sagemath · May 3, 2020 · c400c37 · c400c37
1 parent 016df8a
commit c400c37
Showing 1 changed file with 1 addition and 0 deletions.
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