clean up space on runner

.github/workflows/td-env-docker-dev.yml

@@ -11,12 +11,27 @@ jobs:
     name: Build on Ubuntu
     runs-on: ubuntu-20.04
     steps:
+    - name: Free Disk Space (Ubuntu)
+      uses: jlumbroso/free-disk-space@main
+      with:
+        # this might remove tools that are actually needed,
+        # if set to "true" but frees about 6 GB
+        tool-cache: false    
+        # all of these default to true, but feel free to set to
+        # "false" if necessary for your workflow
+        android: true
+        dotnet: true
+        haskell: true
+        large-packages: true
+        docker-images: true
+        swap-storage: true
     - name: Check Disk Space
-      run: df -h && sudo apt-get clean && df -h 
+     # run: df -h && sudo apt-get clean && df -h 
+      run: df -h    
     - name: Docker login
       run: echo '${{ secrets.DOCKERHUB_ACCESSTOK }}' | docker login --username heather999 --password-stdin
-    - name : Docker prune
-      run: sudo docker system prune --all --force && df -h 
+    #- name : Docker prune
+    #  run: sudo docker system prune --all --force && df -h 
     - name: checkout td_env
       uses: actions/checkout@v3
       with: