ci: investigate slow cleanup times.

Author: jmcarp

.github/workflows/build-test.yml

@@ -38,7 +38,16 @@ jobs:
       # https://carlosbecker.com/posts/github-actions-disk-space.
       - name: "cleanup"
         run: |
-          sudo rm -rf /usr/share/dotnet /usr/local/lib/android /opt/ghc /opt/hostedtoolcache/CodeQL
+          df -h
+          
+          time du -sh /usr/share/dotnet
+          # time du -sh /usr/local/lib/android
+          time du -sh /opt/hostedtoolcache/CodeQL
+
+          time sudo rm -rf /usr/share/dotnet
+          # time sudo rm -rf /usr/local/lib/android
+          time sudo rm -rf /opt/hostedtoolcache/CodeQL
+          
           sudo docker image prune --all --force
           sudo docker builder prune -a
       - uses: actions/checkout@v5